Do you use octane booster? That has been known to turn plugs red. (And it doesn't work)