> And yes, Bob's card really is in an indeterminate state prior to Alice opening her envelope. And once Alice opens her envelope, Bob's card really is 100% either red or blue.

That's not necessarily true, there are perfectly valid deterministic interpretations of quantum mechanics.