A ride through Elon Musk’s first Boring Company tunnel