I know. The ADR's get scooped up quickly if they are for the more popular restaurants at "normal" dining times.I agree with @Nancyg56 There is no “traditional Christmas meal. If you are looking for 2018 I urge you to book soon. ADR booking for Christmas has been open for a bit already.