Just looking at booking a holiday to spain and got me thinking would it be better to book in October (I've gone before in October and was nice temp)....I don't want it to be too hot its unenjoyable and we shelter from the sun. Would it be very muggy and too hot?