Have Cordoba's really hit these prices ?

Second link is the same car as the bottom picture, only listed for 7995 in the link.
When my wife was looking for classic we saw a few non running cordobas for 2k