First of all, so sorry to see your loss.
My honest suggestion to you NEVER go to the dealership for such repairs as they don't have that much trained and professional staff and their rates are much much higher than normal market, but as your car is insured, so you're covered in that terms, still I won't suggest you to get it done from any dealership.
You can get far better job done from some reliable workshop with more professional staff and almost half the price these dealerships charge you.
The rest is your choice.
I hope it helps.