Was there 3 weeks ago. Nice place, good food, a lot of staff. I am very curious how long they can sustain that staffing level. One bone to pick: they have postcards available in the arcade area, but they won't/can't mail them for you, even if you have your own stamp. They'll just direct you to use the post office box somewhere in the terminal. Normally I would have been fine with that, but was traveling with someone I wanted to surprise with the card. Seems odd that they'll simultaneously offer postcards and not offer to send them.