Update- they had to tear down the ceiling, along with the insulation. so now it’s empty roof with leaky water, with a tarp down and buckets on the floor, till the weather clears up a bit and they can start repairing it.