^^ yup... 94. most sell 93, but there are a few out there at 94. Hell, in daytona you can buy 110+ race gas at teh gas stations. it's about $10/gal, but still...
Either way the MOST he'd want to boost with an 11:1 comp would be the 6 lb pulley; 9 might be pushing it, and 12 would probably frag anything less than a fully built and decked motor.