Since they're out of production Lewis, they are worth more today of course.
From their original $600 or so I believe, they were once going for as high as $3000-4000.
With the current economy, you won't sell one for over $2000 and it has to be mint and complete with all the paperwork etc. The last 2nd generation ones (more accurate) I was following on eBay some time ago did not go for more than $1500 IIRC.
But if this one really went for £9000, it is pure insanity taken to the extreme. And it's a first generation (less accurate) to top it all.
Heck, I think I'm going to take a flight to the UK, find Sir Christopher Lee and ask him to sign my GG.
It'll cost me under £100.
Madness.