I took the advice found here and changed reservations from the Ritz Hotel(now called the Palace Hotel under new management, I think) and booked the Grand Mariner for 3 nights in October.
i read some pretty bad recent reviews about the Ritz and many good reviews about the Grand Mariner on tripadvisor. Thanks for your comments.
adelle