Well, I understand the argument for terraforming, but I’m more of an O’Neil Cylinder kind of guy. I prefer the idea of overwhelming surface area via orbital habitats rather than gravity wells. Considering the eons involved with stripping both inward planets down to the last bucketful though, I’m certainly in favor of a few millennia to fully explore and research them both beforehand.