With regard to time I would probably do a 6:00 meal for table service, 6:30 for a buffet. That leaves extra time if it takes a bit to be seated, you don't have to rush through your meal, can enjoy dessert if so desired and then walk to the marina (or catch a boat there if you pick a restaurant at Boardwalk, Swan or Dolphin).