We referred him to the immigration dept at the airport. I gather that you cant use a self serve kiosk for ticketing without this card. But I havent figured out how they know that you are an alien and need to use this card in the first place.