Does anybody know what they will do for breakfast for Diamonds on a holiday, when the restaurant will be closed? We are staying this week, starting tomorrow, so we will be there over Thanksgiving. I couldn't find any info online but I'm assuming the restaurant will be closed on Thanksgiving (which is fine). Just wondered if any compensation points wise or anything would be given, or maybe they will still offer breakfast in the lounge. Thanks!