This really looked like a temp card printed from a kiosk but Paul indicated it was the regular card issued at the desk on two occasions so I'll update the guides accordingly.