“Lubrica los metales,” writes one Spanish-speaking copyrighter and the world laughs.

So WD-40 is not a lubricant, it’s a water cleaning formula. But it works pretty well on my rusty bike chains in the winter so I can imagine it working pretty well if things got a little rusty when the Robots start a rocking.