There's been one for sale here in SA from a collector for $6k (HUO if that matters to you) since mid last year and not getting any bites. Personally I wouldn't be going over $5k unless it had been improved beyond factory specs.
I'm seeing a similar high price rationale with Batman Dark Knight as well - low production numbers doesn't always translate to a good game. It is a decent player, but not at $6k.
Another one on site about 5 minutes from where I live - again when I made inquiries, the op wanted $6k (primarily to recoup back 90% of what he paid for it since it makes virtually nothing on site - I remember watching when he emptied the cashbox for the sum of $12).
There was one on ebay early last year that went for $4800 - there's your benchmark.
