Should I repair body damage or sell car "as is?"

No, it was just the body work. Mechanically it’s in good condition (as determined by my Honda dealer just last week) I think they didn’t want to deal with the car and also were trying to sell me another one. Plus it wasn’t a Honda dealership. I suspect if I took it to a Honda dealer they might make me a better offer. Though, you are right I should expect much less than $10,000 for the car.