One last, slightly annoying detail: while they provided the expedited arrivals service, they did not do the same for departure, and we're now waiting in a single file line of several hundred people waiting to get through exit immigration. Always an underwhelming way to end a trip!