that's got it at $1400 average....if that's accurate, i'd think the normal range would be anywhere from say $1200-1600 or so. if it has been professionally shopped and is 100% working, i don't see why $1800 would be out of line.
i've heard it's a fantastic, but underrated pin....never played it for real (only virtually). i've never even seen one...are they a bit rare? pinside says only 2100 made.