I just picked up a pretty nice JD for 2500 locally. More than I wanted to spend, but not much fade, the original topper and seems to work 100%. It's my 3rd and the most I ever paid, but feel rather lucky considering the Pinside swell. Pinside seems to be some of the highest asking prices around IMO. At least the last two years or so.
2500 is a fair price for a nice JD imo. 3400 fall through was a blessing in disguise.