I used a M-16/AR-15 in the military in as an LEO. I am retired from both. I bought my first AR recently. I seem to recall I used Mil-comm TW25B lube on the rails and parts of the bolt carrier group in my career. I currently have a good supply of Shooters Choice red grease, that comes in a plastic syringe. Is this okay for my AR, or should I go ahead and get the TW25B lube? Any other good choices out there? Thanks.