WD40 is fine.


Paul