Have 2.76 pulley on supercharger and going with a 4lb crank pulley. What size belt do I need. Other pulleys stock.