I guess that there are mixed blessings here..no one was hurt and a future cruise is now discounted to compensate for the disappointment. Out of idle curiousity, did anyone opt (or was able) to switch to another cruise?