Now we are making some progress. Thanks folks! I used the average of the two reported measurements for the OEM pulley (i.e. average = 122 mm). That can easily be changed once some one gets a caliper on it. You could also wrap it with a non stretchy piece of plastic or tape and then unwrap and use diameter = circumference/pi. That should be quite accurate.
Come on vendors, let's see some more measurements!