Is that TBM small enough to fit on a SpaceX Starship and send it to Mars?

I always thought Boring was a project intended for digging a base on Mars, fitting a whole Tesla in the tunnel would be even more than what's needed to connect some underground habitats.