Hail damage repairs?

[gjc-99]

We found ourselves in a nasty hailstorm on our way to the Grand Tetons last month. Nothing was broken, but we have many hail dings on the exposed portion of the roof. Repairs should be covered by insurance (minus the deductible). I would like to know if anyone has had hail damage repairs, how it was done, and if the repairs have held up ok. Thanks!