Oh, and fwiw, insurance companies not paying out for city damages is apparently a thing. We were told by our cleaning company, AND by various contractors that we spoke with for estimates that insurance companies almost always deny claims having to do with damage caused by the city. Apparently we were lucky to even get $5k. If anyone on here is an insurance claims specialist I’d love to know what that is about.