It depends what was actually damaged. If they have to replace main electrical cabling, buses, and breakers, she will miss several cruises. If they have to rewind generators, that could take a couple months. If they have to replace prime movers, the work could take several months -- or even longer if there's a delay in procuring the replacements.

Of course, right now we're speculating. We don't know which components have been damaged or how extensively, and neither does the cruise line.