Hi, we've just booked to go to Tenerife for Christmas 2024. We are staying in a (nice I hope!) hotel, half board. We don't arrive until Christmas Eve so a bit late to be looking for restaurants for Christmas Day once we arrive. We've never been away for Christmas Day itself - but thinking we'd eat out on Christmas Day...or would people generally stay in/around hotel and eat there for Christmas? If anyone has any advice or recommendations for nice restaurants/things to do over the Christmas period, please let me know as I'm keen to start doing some research! Thanks in advance