I would investigate fixing the dings and sell the car privately. As for the dings, find a body shop the specializes in "paintless dent removal". These systems work pretty well, are less expensive (repainting adds a lot of work and money to a body job), and when the car is polished up all the paint matches. A couple of hundred dollars will be recouped in a higher selling price.
Used cars are at a premium now, so you should be able to get a good price selling it yourself. The deals don't go bad, as long as you get cash (or equivalent) when you sign over the title to the car. A private seller provides no warranty, so the buyer is on their own and most buyers know this is the case. Don't wait until the last moment to sell the car. Sell it a month or so before your planned departure. You can rent a car or live without for a few weeks.