That ad has some pretty vague wording, I don't believe they were ever made with a turbo diesel 617.

Unfortunately, that's about the average price for one in decent condition. I bet the one on ebay gets bid up considerably at the last minute. My guess is that is will end up in the $8-10K range, and it needs work.