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...