I just purchased a JRSC for my 2000 GS-R. I currently have a 9psi pulley upgrade but am wanting to swap my idle pulley out with a sohc civic pulley(which is smaller) in order to achieve 10 psi. The only problem I have here is belt size? Any one know what size of belt i would need for this?