Thanks everyone, this has been really helpful.
Unfortunately (for this) I live in Belgium and cannot sensibly take
advantage of this ebay.co.uk offer.
However, I have found a new Bosch ATX 2200 for 350 Euro (about 240
GBP); that's about 100 E's below list price so I think it is the way to
go.