Yeah, that's about right. Even those 'sexy examples' would be about $11500 landed if you did it yourself + on road costs.
They are rediculously expensive for a 20 year old car, even if they do handle well. They are probably better, newer cars out there for similar money.