Nothing in the FAQ - Restaurants open on Christmas Day?

Looked in the guides and found nothing on this, so I'm assuming it's OK to post. Looking for restaurants that will be open Christmas Day. We're flying in at about 3pm and would like to have something already set up for dinner instead of having to search at the last minute.

Last year in DC on Christmas Day our reservations fell through due to the restaurant overbooking and having a 2 hour wait, so we had to settle for Chinese Delivery to the hotel. Would like to avoid that this year.

Thanks!