Just about to book a holiday near Ronda with our three kids who will be 9,6 and 1. I'm excited but worried it will be too hot? Any tips/advice gratefully received!