Just like 5 years ago wasn't it considered a "bang for the buck" b title? Going for like $2-2.5k? Or was that more like 10 years ago? Gee time flies!
I think part of the issue was always that they are difficult, and expensive, to restore, so once all that $ is out into the game it's more expensive.
I'd still like to think $4k is toppy, but $5k might be accurate, for a real nice one (no fade!! ).