Antenna repair

[Jon Myers]

Clipped my antenna off. Body repair guy says $400 to repair. Couple dings will be fixed, and a couple small scratches will remain. My SOS device is apparently inoperable and a hazard light shows on the dash. Also a warning that traffic sign recognition is limited. Sirius FM does not work but the map does. Fair price? Can I expect all the warning lights to be remedied? The Sirius FM restored? Should I only take this to the dealer? The body guy is legit. Any guidance would be much appreciated

Edited May 29, 2022 by Jon Myers

[Steve Q]

I'd recommend a diagnostic check to see what fault codes flag up.