We've probably all seen Dres. And we've undoubtedly thought that it needed more work.
And with resource extraction and colonies, I believe we may need a big rework on them- Personally, I only see one way this could go. A big circle of static colliding asteroids, rotating at orbital velocity around the planet... This allows for colony building, directly on the asteroids.
However I just figured that it can't work like that. Based on orbital velocity, all asteroids can't go at the same speed.... So instead the area where the player enters the belt will have to be generated, and that's a whole lot of work. Dang.