I know it’s likely to have peak crowds both days but would you consider Dec 23 or Dec 24 the better day to visit. I’m wondering whether Christmas Eve may be slightly quieter.