WIRED. Elon Musk's boring company just hit the boring part.

https://www.wired.com/story/elon-musk-boring-company-tunnels/