I do not know from experience. However, the guy at the pool bar told me that the high season ends in October. I would expect thinning crowds, but still having reasonable weather. This should also be reflected in lower prices.