PS. What's the "right" lubricant? I use fairly heavy machine oil. My
local bycycle repairman swears by cold-pressed linseed oil for
drilling/taping. I'm sure machinists use some fancy stuff that only
comes in 250 litre drums with a big plastic pump on the top. What do you recommend?