I know that there are differing opinions on whether or not to use a grease on semi-auto pistols. I am one of those that prefers to use a lubricant on all the metal components of a pistol and also grease on the heavy contact points. I've been doing Internet research on this subject and so far it appears that the three most popular gun grease products are Tetra Gun Grease, Jardine's Extreme, and Mil-Comm TW25B. I'd appreciate opinions on which gun grease is the best and why?