Changed the A/C compressor clutch assembly. Original pulley diameter was 125 mm. New one is 105 mm or 16% smaller. No I didn't measure before and only found out when the belt went on much easier than expected. Does this mean the compressor will spin 16% faster?