There are times (winter-night) on the Martian surface where this CO2 would be a solid, this may pose a problem
Mitchell also reveals in his blog that advice from IT career coaches is not cheap: a single meeting can cost $500/hour."... When you're designing and developing, it's fun, it's creative, it's low key. Then all of a sudden, because you're so good at it, you get promoted, and it pulls you out of what you enjoy and into an administrative role, managing other people and doing paperwork. You're forced into left-brain mode. That becomes stressful.
We can defeat gravity. The problem is the paperwork involved.