I think 9K is way high. I looked at one at least as nice two weeks ago that was going for 5.5K and I thought that was high. The biggest difference was it didn't have the factory PS and disk brakes. From what I've read on different boards pricing varies a lot from one area to another.
