suggests that "ID card" is not a redundancy

Exactly the point I was making - without really making it. Thanks, sjm, for reading between the lines I didn't write!