I'm pretty sure Boring is building digging machines for a Mars colony just designed and tested on Earth.