> The Boring Company will get to it eventually, because something like Hyperloop is required for the Mars colony

What does The Boring Company have to do with Hyperloop?

I am not an expert, but seems like building a Maglev track on Mars with its low-pressure atmosphere would be far easier than on Earth. Taking into consideration how far we are from the first manned flight to Mars, this sounds more like wishful thinking than a serious proposition.