$7bn is just a third of NASA budget, it’s doable, but you’re right, there’s no reason to go as big as McMurdo Station with today’s technology.