Hey. I paid about 2500$ for my HDVD800 - HD800 - CH800S back in the day. Bought it used from a Head Fi'er with 3 months use. No headphone stand included though. :)
It's a good price. If you don't like the HD800's brightness, there are some nice mods that i would do if i still had them. I prefer HD800S by a lot.
I hope that helps.