in Elon Musk, TESLA Elon Musk’s Boring Company submits proposal for 6.2-mile tunnel project with TESLA vehicles in Miami