Not that we know of...just have to make sure you make a reservation in time before the restaurant is fully booked for the night.
Buffet was only open for breakfast...you could go to any of the specialty restaurants as often as you like...without reservations...if they were full when you went..they gave you a flashing beeper so you could come back when your table was ready. This will probably change as occupancy increases...