We recently had a spree of people selling HRs crazy low. Doesn't mean they are worth that much, just that the sellers were desperate.
A good pre-facelift DE can still fetch £7k+, you just have to be patient. Sometimes it's not price, it's just luck of having someone local who is after what you're selling.