I agree with what most other people here are saying, if it's that significant of saving for you to purchase an HD800S, don't, unless you can listen to them first.

I would recommend taking a look at the HD8XX, while being tuned pretty badly, it can easily be fixed with EQ or the sticker mod to sound basically identical to an HD800S for much cheaper, especially if bought used.