I think it's something like 80 or 90% of the market value. So if the repairs fall in that, then they'll have it repaired. Chase them up and see what other options you have. Good luck.