Whatever you do (or don't do) do not use WD40!!
It works well on an engine that is hard to start though!!