came to a couple thousand, about half covered by insurance. roofs apparently have a different deductible system than other things. learned that the hard way.
actually we were pretty lucky, it was basically one big hole where a lot of the neighborhood had multiple locations or even entire roofs that had to be replaced.
we took a softball sized hailstone right through the center of the roof.