"basskisser" wrote in message
oups.com...

WD-40 works well, and is probably the same stuff......

They're made by two different companies, one is petroleum based and the
other is silicon based.