You have a lot of choices in the world of personal lubricants, from things like KY Jelly to my old standby, a handful of margarine. But there's also a popular brand called Gun Oil, because dicks and guns look alike and they both shoot and heh. Also, this is the product description on Amazon: "During Operation Desert Storm, Marines jacked off with actual military-issue gun oil while hunkered down in the trenches of Kuwaiti battlefields. A group of those marines has developed a high-tech, condom-safe formula for smooth, rapid-fire action." I don't know how true that is, but after reading it, come on. Of course it's true. Some dude was jerking off with gun oil in a war zone, came home, and thought, "Jesus, I need to recreate my desert war zone jack-off experiences! And I need several of my friends to do it with me, because the description was plural!"
You'd think soldiers would want to minimize things reminiscent of their wartime experiences back home, but maybe if the jerking off is really good, it's like a safe space memory. I don't know. In any event, this is the most combat-intensive jack lube on the market by far.