Wait, how are they doing that? My mental idea of NAT is that it dyanmically links (address × port) pairs to local addresses. What would be the "port" in the case of flight numbers?