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.