Yes, the Portal support department has been helpful and will hopefully be sending me replacements for all 4 of my damaged/missing cards..
And also keeping my eye out for the official replacement for Bob.
"Luckily", even if I get Imperial Settlers onto the table any time in the next few weeks, it will be to introduce the game to new players, and keeping Aztecs away is for the best on the first run.
Followup: All 4 of my damaged/missing cards arrived today. No problem!
Still waiting on Bob...