https://www.weapon-blog.com/2021/11/all-about-ar-15-gas-tube-lengths/