I think a lot of people think that just because they paid a grand an a half for a machine that they will get a lot more for it when they sell it second hand than what they actually get for it. That's why I always tell newbies to buy second hand and save the money for advertising
In the real world they go for less than £400 on Ebay, the most I have seen one go for was £600 that did not sell and the most I have paid for one is £375 for a good standard one. So Simon if you want a bargain, get looking on Ebay and Gumtree