You said it better than me. If this situation happened to me, I would claim on insurance and ask the tenant to pay the excess. If it was a smaller claim, I would claim the repair from the tenant or the bond.
Luckily (touch wood) we have not had any issues like this to deal with.