I have a '94 Acura GS-R with a JRSC. I buy a ENDYN Alternator Stepper Pulley (waiting to come), but the people of ENDYN say that I need a new belt, 16 mm shorter. The belt is the one that go from the alternator to the JRSC.

I don't remember the number/size of the original belt, and the numbers are erased.

Some with a JRSC remember the number/size of this belt?

Thanks in advance