Definitely discuss with your agent. A car can be totaled from the company’s standpoint, but not from the state insurance refs, and not result in a salvage title, e.g., Texas.

There is low to no unknown damage, so the repair number will be firm when they make their decision.

If if they pay, just use a shop that only does excellent work.