I have heard different things about this. Some say there is 1000s of psi in the gas tube and it will not gunk up. Other say you should clean the gas tube periodically. There are extra long pipe cleaners available at Midway, Cheaper Than Dirt, and other places. The AR15/M16 cleaning instructions I have seen never say anything about cleaning out the gas tube. Is this something we need to do?