Quoted from ThePinCollector:No lower than 7k and maybe past 8k easily.
8k seems pretty high. There are four of them sitting in the marketplace right now. I understand it's in great condition, but there were 15 thousand of these units produced. Maybe you could get lucky if you waited long enough, but I have a feeling you'll be waiting a long time at that price.