doubtful to me they spend dozens of millions for a 16 year old ship. There are so many sections and structural elements affected. Insurance would pay anyway.
An unprecedented repair like this is likely to be pricier than buying one from the desert or 2nd hand.