Is there anywhere I can go to find the current menu prices? I am trying to figure out approximately how much to budget for our tips for our May trip, but the menus on AllEars give a price range for the buffets. How do I know how much it will be when we are there? Any help is appreciated!