I have been told different things about lubrication/cleanup that concern WD40. While i usually try to use a dedicated gun oil, i have used the WD40 on occasion without any noticeable ill effects. However, i have also been told that WD40 is about 85% kerosene and, as such, is more a solvent than a lubricant, so is therefore better for cleaning rather than lubricating, or something like that. Anyone out there that has heard the same thing, or have the straight scoop on this and care to share it?