re: #84 b_sharp

WD40 isn’t really a good lubricant.
I use it to clean printers but it’s a guaranteed fail if I use it to lubricate.

If it were supposed to be a lubricant, it would be L-40.
It is a water dispersant. Thus it is WD-40.