I was told there are two different pulley size ; 90mm and 100mm for the 100 series and VIN number does not indicate which size, can anyone confirm this? So it can't be determined until you get to it?
At this point maybe just skip the pulley and replace the timing belt/water pump and serpentine belt only.
At this point maybe just skip the pulley and replace the timing belt/water pump and serpentine belt only.