Hey guys, I checked the archives, but didn't find a ready answer, so let me toss it to the experts who have these on their cars. I have a 3.4 Whipple that I'm finally getting around to putting on my car (bought from Gulf GT before when he left the community). I'll be using Torrie's tunes. He asked me what size pulley I have, and...I have two. The 3.25" is currently on the supercharger. I will be running pump 93 octane gas. I'm kind of inclined to be conservative and use the 3.75. Any advice based on experience on which pulley to use?