I thought I remembered reading, back in the day, that mission maps *aren't* actually procedurally generated, Any given mission might be on a number of randomly selected maps, but those maps are preconstructed. It just *looks* procedurally generated because they're made from such a limited selection of modules.
Am I misremembering?