I see what you mean, Michael!
A bit (a lot?) of TLC wouldn't go astray...
I think they are very ambitious thinking they'll get $7500 (plus on roads), I paid that much for mine and it's got ABS, it's a later model and had less than half the K's...and it was in way better condition...
I guess you never know though, there's always someone out there with more money than sense...