Elon Musk just poured more than $100 million into The Boring Company