Does anybody know the actual manufacturer(s) of mil-spec gas tubes?