On 2012-01-08, zxcvbob wrote:

If they are stuck, use a penetrating oil like WD-40. Then pull them out
and clean them.

Then I'd probably use baby oil for lube. But 3-in-1 oil is fine too.

All these threads for all these years and ppl are still claiming wd40
is an oil. Now it's a penetrating oil! Shame on you, Bob. Also,
baby oil (mineral) and 3-in-1 are not light oils.

TO OP: What!? You can post on usenet but can't buy some valve oil
online? GTFOH!!

nb

--
vi --the root of evil