That does not sound like a casualty loss. Or are you saying there was a casualty, and this was an additional expense?
And, can they even take a casualty loss deduction? Read up on the rules for 2020.
