did they sell them at that price? From watching on eBay the last several years, they are holding around $250-$300 unserviced. Fully cleaned and serviced adds around $100 to the cost, but many people won't pay that because they can clean and service them themselves.
However if a person with $$$ that never goes on eBay decides they want one, dropping $450 is nothing.