I have never heard that one.<quoted text>
Another bit of advice Doctor. Never spray WD-40 on garage door springs. Or any kind of spring that has a significant load on it. The penetrating oil will weaken the spring and cause it to fail prematurely.
I don't use WD-40, anyhow. It's junk.
Best stuff was something they sold a few decades ago with teflon in it. Great for guns and fishing tackle. But they took it off the market because you couldn't leave fingerprints on it.