I have recently read a review that suggests the resort does not have a buffet option at lunch. I understand from the resort website that The Palms offers a buffet lunch. Can anyone confirm this is still available?