Im Oktober ist dort ja schon Nachsaison, ich denke, dass es dann kein Problem mehr geben wird, Plätze in den ala-carte-Restaurants zu bekommen, ohne schon vorher zu reservieren. Am besten gleich am Anreisetag die Reservierungen vornehmen. Im Oktober dürfte das Hotel, außer eventuell in den Herbstferien mancher Bundesländer, normalerweise nicht mehr ausgebucht sein.