I don't know if anyone found out but the R7-HS they refer to in the manual is a misprint I believe. I checked with NGK and they make no such plug. They do however make a B7-HS. NGK STK # 5110 ACDELCO 430Z. I am going to try and get one from autozone and see if it works
will let you know if it does.