E85 + Boost, what plugs?

Going to try these NGKs with a heat range of 7 and recessed tip.
https://www.summitracing.com/parts/ngk-5122/overview/