Thanks for the link to the article by Craig Brougher on lubricating old
motors, but I'd like to point out that automotive differential oil can
have a profoundly offensive, headache-inducing, permeating odor.  So,
I'll be going with the ultra-heavy duty motor oil.

Gordon Stelter