I know they have lots of great fine dining spots. what about the casual dining options? i am going with a group of 12 girls. trying to see what is good and what isn't. i hear the buffet is good so we'll probably hit it up for lunch one day. thanks.