Exchanging green residency documents for a TIE card.