Champion RA8HC has the same thread, seat, reach, hex size, and terminal type. I ordered a Kohler plug from Amazon and they actually shipped me this Champion Plug.
Autolite
RA8HC
rc12yc
champion #940
Champion
Rc12yc
rj19lm
EZ start 5847 or DJ8J
cross reference ngk BP4HS
It crosses to a champion stock number 405.
NGK BP7ES, Bosch W7DC, Champion N9YC
64 Autolite Replaces Champion RN11YC, NGK BPR5ES
Bosch provides a cross reference chart for the Torch. This chart should give all of the various cross references for the Torch series including the F 7 RTC plugs.
I have autolite sparks plugs ARF32M and need to know the cross reference to NGK
champion rc12yc