I've heard bad things about using platinum plugs in this car, but can't seem to find anything other than the W3DPO's. Is anyone runing a different kind of plug that they are happy with?