I've been trying to figure out what plugs to run also. I've been using the NGK R7234-9 plugs but they are no longer available here in the USA. Which is too bad becuse they worked great in my car. Would the Denso IK31 be a good replacement for the NGK 9? I'll be running around 380 - 400 hp.