Can you suggest a source for purchasing these (Plus #10 and #20
machine oil) in consumer quantities? (That is, pints, quarts, or

FWIW,

I took this list to the local auto parts place and bought a quart with a
nice little squeeze spout.

Many thanks for the list. The Mobile number is obsolete.

Karl