I’d have to run the numbers but, once the various productivity research gets upgraded a bit, I’m thinking it might not be too hard to abuse asteroids as a form of infinite resources. Or, at the least, as a pretty significant supplement to terrestrial resources. I’m just theorycrafting in my head right now but I’m expecting my space casinos to get nerfed soon enough and they’ll hopefully repurpose easily into a new astro-mining role.