E85 + Boost, what plugs?

I was currently running these https://www.summitracing.com/parts/ngk-4091/overview/ with about 10psi of boost. Then a very reputable performance shop said I should be running at least a 9 heat range if I'm boosted with a carburetor. I need to do some more research about heat range with carbs vs FI before I make the switch. And yes, that is way too much gap for forced induction. Tighten that up to .030-.032.
Thanks for the feedback. That NGK you use is specd very similar to the one I chose, so hopefully I'm on the right track. Mine have resistors though. Didn't want to risk ECU interference from a non-resistor plug. I think 7 heat range is a good starting point for a car that gets some street mileage also.