Looking to book a short break to costa brava in mid October but a bit worried as have read it's the rainiest month. Anyone been there in October and if so what was the weather like?