We are going to Florida for Christmas for the first time this year and wondering if anybody can recommend somewhere for Christmas Day lunch?

It doesn't have to be the traditional Xmas Dinner but Philip isn't keen on buffet type meals so looking for somewhere with waiter service.

Any ideas?