Nee gig for Musk’s Boring Company? Drilling water pipelines right through the mountains.