How much vacuum is ideal for street use 572 wedge. I now have around 5in. Would a smaller pulley on the pump be the way to go. The pulley on the pump now is 4 1/2” diameter. How much smaller pulley would kick it up to say 10”. Thanx for your time.