Hi Paul,
I would say you should get at least £950-£1250 for this domain, nice catch ;o)
Let me know if you'd like to use our sales service as we now broker for a number of different clients in the uk. We are also in the process of setting up an active marketing scheme which should be in the works by the end of next month.
Regards