Repair the damage? With what, a coral patch kit from Lowes?
I don’t know what the damage is so I have no idea what is required.
Why don’t you fly down there and advise us? Otherwise, don’t be silly.