I scanned again using NPX Tag Info, but since I have an iPhone, I only get limited info.
It does show Ultralight C though. The FlexUG4 page shows that it can emulate Ultralight EV1, but not Ultralight C. Is that true and would that be an issue?
“[Royal Caribbean] uses a 13.56 MHz NXP Semiconductors Mifare Ultralight C RFID chip compliant with ISO 14443 standards” (found online)
