Seems kind of high to me. I paid about $4000 for mine 16 years ago and kept it when I upgraded to the 11000 because I didn't think I could get much for it. Plus the fact that some of my favorite cards were not on the CD that I got with all the MC8000 designs. So I kept it as a backup machine. The 9000 is a great machine though.