Yeah, canned tunes run pretty piggy rich.
There is lots of head room you'll see once you pick up a WB and your face goes like this -->>> O_O
When you see it sitting at a solid 10.5:1, lol.
Look into lean burn cruise tuning as well...lots of good info out there if you planning on picking up tuning yourself down the road.
I'd also say a 3.5" is the best bet.
And why? Because I'd rather run a larger pulley with a leaner AFR and more ignition timing than a smaller pulley with a richer AFR and less timing.
Then again, a 3.4" and a 3.5" won't make that much difference...but a 3.3" to a 3.5"...yeah, that'd help quite a bit.