Curious; I wonder what the damage level was from Irma (i.e. what did it cost for full repairs).

The insurance liability has to be massive...