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