A friend was given a older Mini-14 that was wouldn't cycle. After a tear down he finds the gas port bushing is gone. Seems difficult to find one so far. Midway and Numrich are out and Brownells doesn't carry it. Other than precise dimension for length and center hole is the metal anything special. I.E. hardened or treated? Anybody know of another source? Thank you!!