note re: restaurant- this was a definite low point of our visit. there was no matradee to greet us so after a couple of minutes waiting we seated ourselves thinking that was everyone else had done.
instead, we were greeted within minutes with a check and that was out first interaction with wait staff (it was a breakfast buffet). this was off putting but we proceeded with our meal, and my husband ended up with several plates (from several trips to the buffet) just waiting to be cleared by the wait staff but never was. the food was fine, the selection good but the poor service overshadowed it all.