I would give Nobby's suggestion a go. WD40 is pretty cheap and should be readily available. I would imagine it would do most (if not all) of what you need.
In a worse case scenario, you've got a can of WD 40 that's bound to come in handy around the house
.
Cliff