I bought the Armalite Carbine Gas tube as suggested here, and it is 1/4" longer then the stock gas tube. Is this what others here that are using it have? I mounted it and it seems like the bolt isn't hitting or rubbing it at all, but I want input from others. Thanks