At the risk of firing another "shot" that will spark the next WD-40 war, I
feel compelled to speak again on the subject. In hindsight, I can see that
an amateur or novice technician might get carried away using '40. But to an
experienced tech, it can be a good product. And your implication that the
literally tens of thousands of products I have serviced "went up in smoke",
I find somewhat offensive. I am a quality technician, I have extensive
training, and I successfully serviced most types of consumer electronic
equipment from digital camcorders to vacuum-tube ham radios. I did not
specialize; I serviced literally anything that came across my bench. Of
course, there were some units that I was unable to repair that another tech
was. But the reverse was also true. In the last 10 years of my career, I was
the tech they turned to when nobody else could or would service a unit.

I will try to bear in mind that any advise I pass along in the future may be
used by an inexperienced tech, and I will temper my responses accordingly.
But at the places I have worked, WD-40 was commonplace; a qualified tech
knows about the residue attracting contaminates over time, that's why you
clean up afterwards. And I have to ask: Doesn't ANY lubricant have the same
effect?