So ~5T/person/year, let's plug in the Starship launch costs: at $1mn/T, this is only $500mn/year for the whole base. This seems a little too good to be true.