Thinking of booking myself a spa day at above hotel on Boxing Day. Has anyone been at that time of year? I'm just wondering how busy it gets. I want a nice relaxing afternoon but a bit worried it could be very busy at Xmas? Is it a nice place?