WD-40 is a lot easier on the engine.

From an old mechanic.