A lot of rental properties are now requiring rental insurance. It's super cheap for the most part for a basic policy (upto 25,000 for a personal property and up to 100,000 for damages). Assuming she had insurance and the damage was under a hundred grand. She should be alright.