Are the starred cards used outside the first-game setup? — Terraforming Mars: Ares Expedition FAQ | RulesPal