I am sure they are insured for the loss...maybe not the cruise credits but the loss of use, yes. otherwise they and all the cruise lines would lose their shirts.