We are on this same cruise and are concerned too! I was looking at Mardi Gras and the prices are so high for that same week, way out of my budget too.
I wonder if they would be willing to negotiate a move to a 7 day since they are keeping a booking. Of course, the cruise hasn't been officially cancelled yet and the repair timeline is unknown at this time. Might have to wait a bit.