Why do you want to pulley down the boost? 17 psi is safe on pump gas and 15 psi is downright docile.The stock 3.5" pulley makes 13 pounds. I'll have to go to something like a 3.75". I'll probably have to contact Whipple for the exact pulley size.
I'd save your money and stick with the stock Eaton if you're gonna run anything less than 16-17 psi on the Whipple. IMO, even a ported Eaton is a waste at near single digit boost levels.