What is gas port diameter, and why does it matter? #gunsmith #ar15 #gunsmithing #guns #tradesman