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

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.