Just got a call from out Agent. The Dec. 1 cruise will not go out until Tuesday December 2, nd. We will get a $125 or $150 (I can't remember which she said) ship board credit per person, $500 (per person?) future credit, and they will pay use back for the day we missed. We have insurance and were going to Ft. Lauderdale early, so that will pay for our hotel and expenses for the extra day in Florida.