That's the right call, Andy.
Hagerty's a great outfit, in my experience, which includes collision repair on their customers' vehicles.
I have a couple cars insured with them as a result, and will likely add a 3rd, now that they've opened up later-model coverage.