In article .com,
says...

shows that prices start at about $14 per gallon. Are there any
alternatives which will do the trick, but not be as costly? How about
motor oil?

Do NOT use motor oil. That would be worse than nothing.

Go to home desperate and purchase the smallest quantity of
cutting oil that they sell for cutting pipe threads. You
want the plumbing deparment.

Jim


--
==================================================
please reply to:
JRR(zero) at pkmfgvm4 (dot) vnet (dot) ibm (dot) com
==================================================