sorry but we don't have a mac in the airport
oh but there's one near the airport. he has to take a cab or something, it's an half an hour ride to a mall (called capacity).
and another thing: mac pro and mac regular are imported (i don't know the exact term) by two different company so they have different regulations and inventory. the one near airport is not a pro. (there's only one pro)
i know it's been a long post, sorry.
here's the number for "near the airport" mac, maybe he can call?
0 212 661 24 18
hth.