"RicodJour" wrote in message
oups.com...

Spraying WD-40 is as likely to short out the tools as water if you
spray enough of it to displace the water.


Actually, Ive sprayed it on the inside of wet distributer caps on many
occasions--didn't seem to short them out, quite the contrary in fact.

Still, it might wash out the lubricant in the case at hand so suggest be
careful if spraying it on / around any moving parts that don't have sealed
lube.

--

SVL