Well, my experience with equipment that has had WD-40 sprayed on it by
loving owners is the picot points etc all gum up and we have to heat
them up to take them apart so we can clean out the gummed up goop.
In EVERY case when asked these machines had WD-40 sprayed on the workings.
I have yet to see other games of similar vintage that have not been
sprayed with WD-40 gum up anywhere near as bad that we have to heat the
parts to separate them. And I've been servicing arcade games for almost
40 years.
Hence my personal vendetta against the use of WD-40 as a lubricant.
It would be better to run some proper tests comparing WD-40 mixed with
various oils vs. leaving the oils on their own and drying them out with
some heat. I keep thinking I should do this, and perhaps I will soon...
John :-#)#