I'm thinking more like $600 to purchase the Hopper out right. I believe a 722k is $449 currently, and thats been out for a while.
$179.00 on eBay. Used. 100% positive feedback.
DISH Network ViP 722k (500 GB) Receiver | eBay
$299.00 on eBay. Brand New
NEW DISH NETWORK 722K HD DVR VIP722 VIP722K 722 DUO | eBay
$239.00 on eBay. Brand New
DISH Network ViP 722k (500 GB) DUO HD DVR Receiver VIP722 | eBay
We have purchased all of our 722K receivers from eBay. Never had a problem.
While I suspect that Hoppers and Joeys may take a while to show up on eBay, they will be there. There will always be Dish dealers who sell product on eBay to improve their sales numbers and generate extra revenue.