Which Plugs for blown 410?

I am getting close to getting my supercharged 410 running in my '88 LX coupe. I would like to know what plugs I should run. Here is my combo: 410 cubic inch Windsor (W351 FRPP block), approx. 9:1 compression, TFS-R heads, Solid roller cam (.687/.671 lift I/E, 258/269 duration @ .050 I/E), Novi 2000 cog driven that put out 15 psi on the last similar motor, Tremec TKO, FRPP EPEC standalone. The plugs that were in this when I got the car were Autolite 3924, and I have run Bosch R6 971 as well. Would either of these be okay, or should I be starting off with something different? I went to NAPA today to see what they had just so I have something to get the car running and they gave me Champion 71 RC12YC plugs. I don't know if these are right or not, but they should be the same as the Autolites. Thanks for any help..

Your combo makes me feel inadequite to answer.

But I would assume the TFS R heads use the same style plug as all Ford aluminium heads.

I run the 3923 with my combo making a measly 7#'s of boost on a good day.

It is one step cooler than the 3924 and my car doesnt foul them at all I drive everyday with no issues.

Good luck it sounds like a monster.

Thanks Chuck. Maybe what I have is in the ballpark. I have also had the suggestion to run AR3933. I guess I will see how the Champions do to at least get it running and see how it goes from there. The plugs I have are the washer seat type, not the tapered seat. I don't know for sure if this is what the other Ford aluminum heads have or not.