I think that is waaay too high for 9000 miles. I can point you to a 1500 mile black with silver stripes ACR that comes with all the paperwork and documention for about that kind of money from a very reputable dealer, I checked the car out and it is BEYOND perfect. He also has a black with cognac with 9000 miles for I believe $56,000
http://www.autotrader.com/fyc/vdp.js...mp;cardist=118
http://www.autotrader.com/dealers/in...&cardist=0