Is the gas tube important? I’ve never even put gas in my AR. I oil it ever 10,000 rounds though.