This will teach him not to own a milling machine.
----------------------------
Mr. P.V.'d
formerly Droll Troll
"Chuck Sherwood" wrote in message
...

If a true do-it-yourselfer, you probably don't have any cutting oil. I
have
found WD-40 is a pretty good substitute and is readily available.

He would be better of buying some cutting oil at the hardware store too.