Elon Musk has changed the plan about his Boring & Co.