I know there are different opinions about whether or not to use gun grease in semi-automatic pistols. I am one of those who prefer to use lubricants on all metal components of a gun and also grease on heavy contact points. I have searched the Internet about it, and so far, the three most popular grease products appear to be Tetra Gun Grease, Jardine Extreme and Mil-Comm TW25B. I would be grateful for the views on which pistol pallor is best and why?