I'm hoping travel will be allowed to Spain by October. Anyone been to Marbella in October, what's it like and is it warm enough to swim in the sea?