We're going to be on the Navigator of the Seas next week & I know that when we cruised a million years ago (ok, I suppose it was only 15 years ago) buffets were a big deal. Do they still do that kind of thing? My daughters want to know if there's a midnight chocolate or dessert buffet. Where do y'all go when the family wants a snack or more late at night?