Yes and thanks for that Frank. I actually ordered an HD800 on 2 occaisions from Jan-one for $1140 shipped and one for $1105.
I doubt they're going to release a new headphone soon, the MSRP went up from €1000 to €1200 (at least in Europe), I'm really happy I got it for €900 by "talking" a bit in a authorized store. I don't have the FR graph and I have 2 years of warranty instead of 4 because I didn't buy it from retail price. But I don't really mind, I can say that I got a 25% discount if you look at the current price, and I was thinking that the 10% discount was already something.
EDIT: I should've said that the dealer is in fact authorized and that it was brand-new.
Same situation for me. Was all set to order from Jan Meier, but found a pair in the used forum for less than a grand shipped.
So are you as surprised/happy with using the HD800 with the Fiio E17/E09K combo as I am? I know it's nowhere near what the HD800s can do with a better amp, and maybe a better DAC, but the E17/E9 combo really does quite well. I was quite happy using the HD800 with just the E17, but now that I'm home, I'll admit to using them almost exclusively with the combo. The extra power of the E9 (or E09K in your case) just makes the HD800s really sing! :)
I can't wait until I can save up enough money to buy a Schiit Mjolnir amp and possibly the companion Gungnir DAC. Enjoy your new toy!