I am a bit doubtful about it costing "only" $1k to fix via paintless dent repair. If it was that cheap, more places would do that, rather than offer the car for a fire sale price.
A couple of years back I needed to rent an ICEV for a road trip and was given a very low mileage GMC Terrain with lots of sheetmetal "acne" on it. I recognized it as having hail damage, and indeed the car had Texas license plates on it. The agent told me that they got lots of near-zero-mile cars with hail damage like that, so my guess is rental car outfits are popular disposal places for such cars, since they're going to get abused anyway, and when done they'll go to some BHPH lot since they're too cosmetically damaged for a new car dealer's used car section, or CarMax.
I personally would just buy the car and leave the dents as/is. Then I don't have to worry about it being dinged by a careless person. A marketing person should offer these up as "CPD: Certified Pre-Dinged"
Ron, I think you're right. There's probably at least $2-3k of PDR on this car, and even that probably wouldn't get it to perfect.
In a way, though, I kinda like it. I don't need to worry about keeping it perfectly ding free, parking in the back of the lot, etc. It's no virgin, but, hey, that can be fun... in this case, for my bank account! The beauty is on the inside, anyway - 30kWh of it!