A few did ship before the holidays, so it's possible that someone has one. Being a very limited supply and a decently high demand for them I'm not surprised by the price tag. Still, I'm sure the seller would make a healthy profit if it sold for 2k.
Personally, I'll wait a few years and hope it isn't like the RFB, plagued with problems and still a very limited supply.
MSRP on these was supposed to be right around $700, so once there is a healthy supply on the market, you should see these come down to around $550- $600 new.
