No, I'm seriously interested in what he put in there. If it was a petroleum distillate, I'd be worried either about evapouration or gumming up, depending on how volatile it is. I would have used a molybdenum-type lubricant or something similar, which is hard to get, but lasts a while (it's what I used to use to lubricate floppy drive mechs, like the old Commodore 1541 Newtronics mechanisms that always seemed to stick).