We are having trouble finding restaurants open on Christmas day for dinner, not surprisingly. Besides hotel restaurants, can anyone recommend a place that might be open then? Or, if it is a hotel restaurant, can you give me some suggestions that are better than typical hotel fare? Casual or fancy are both fine, and it doesn't need to have a special Christmas menu...just good food. A few possibilities would be great because finding reservations at this point has been so difficult. Thank you!