https://thejonesfacility.com/1487/surviving-mars-how-to-repair-buildings/