Sadly, Al, I am beginning to think it is a question of when not if.
I got £750 UK for mine. They were about £2,000 at the time of purchase although I bought mine from Hungary and paid about £1500 IIRC. So I got about a third of the regular price and about half my money back after just under two years, if that is any guide. Mine was a 5007 but I don't imagine they fetch a lot more than a 3007. Mine was not showing any signs of HDMI failure, but it had run with two PC fans on it for most of its life. I gave the fans to the new owner so he could be sure to keep it cool.
I would seriously look at a Denon 4311 - they are the best bargain of the lot currently available IMO. Great sound, well built and have that pre-amp mode - plus XT32, the ability to run 11.2 with an external 2 channel amp. And Audyssey Pro-ready too. Nothing can touch that spec at anywhere near the price.