My trusty daily driver is "up there" in years and miles, and I'm looking
at a replacement with one third the miles and very good mechanical
condition and service documentation. Body's in good shape, with no
visible damage (dents, tears, bruises, et cetera), but the exterior
paintwork is in really lousy shape...it looks like the owner spent time,
and a lot of it, driving behind gravel trucks with uncovered loads.
There are paint dings aplenty everywhere.

I'm toying with the idea of having it repainted. I've never had this
done. A friend who has had one of his cars repainted said it cost around
$2000, and that included removing all the trim, filling in dings and
scratches, sanding, a base coat, and maybe two top coats and a clear
coat. I forgot some of the details.

Does that sound about right? Too high, too low? Is it worth doing on a
nondescript seven year old vehicles?