[Urendi Maleldil]

I see another problem with option 2. If we use the create standard planet method (asteroid colony), the atmosphere will be random. But you can mod the planet size so there's no difference between a domed colony and an undomed colony.