At what point would a car benefit from being buffed and polished?

I have a 2008 Honda Civic with 84,000 miles on it (yes I know that’s a lot of mileage – I drive a lot). It has a dent and is going to the body shop in December to get the dent fixed.

I am wondering if I should ask the body shop mechanic to, since they have the car anyway, to give it a good buff with car wax. I don’t know if this is not necessary at this point in the car’s life.

Is there a general rule for when is a good time to get the car buffed and polished?