Great advice. Keep in mind that, since not much heat will be dissipated in this particular kind of cutting (unless you're Hulk or one of these guys), basically any lubricating oil will do fine. Even lard or coconut oil.