Depends how much supply they have. A mature lunar colony should have a stockpile and equipment sufficient for reconstructing any equipment needed.

At that point, asteroid mining may be cheaper than launching resources from earth.