They sure are. Optimus should be on the first ships to Mars. Tunnel machine some time later.

They want a self sustaining city on Mars so it's going to need a lot of thing and people.

Sometimes I post about what they could be doing, but always in the framework of what they plan to do.