I can't speak for Mallus, but in my industry, standard projects cost in excess of $20 billion... the idea that you can establish a Mars colony for less than a third of that price (or, three Mars colonies for the same price) seems incredulous. No specific knowledge, just an amazement of scale.