Anyone know if it's likely to still be warm? Anyone been to Malaga area at around that time of year before? Many thanks in advance.