That's an interesting observation about WD40 because we weren't permitted to use it as a general gun lubricant. I never really understood why but just stuck to the party line when I had to - but used it anyway on the basis that ANY lube was better than NO lube