I doubt you'll see many A4000s with all the gubbins that came with them, manuals etc, and original packaging for sale - someone obviously did think it worth 500 quid, I would've put it more around the 200 quid mark myself, but as ever, things are worth what someone's willing to pay for them...