[OAM]

Just wanted to reach out for some opinions. My old man took one of his cars to the dealer today for some routine service. The dealer he uses has two different lots for their service garage we found out today that one of the service guys was driving the car from one lot to the other and someone ran a red, he swerved to avoid an accident but ended up pretty much see sawing the car on an island! I"m not sure the extent of the damage but from what I have been told it's pretty bad. Anybody have any opinions on what we should do? Call our insurance to report it? The dealer is planning to fix everything, but now the car will have a crash history, right? It's an expensive car over 100k back in '02 when we bought it new and it only has about 10k miles on it. It's garage kept 24/7 and immaculate, well till now. So what should we do? I don't think just repairing it would make us whole, the car definitely has lost some value now, correct? Any help is appreciated.