Panasonic PR-6000 bike on eBay. Actual value?

[Baron Blubba]

So I saw a picture of a Panasonic in the Photos From Your Rides thread, and thought, "That's a beautiful bike, I wonder if there are any available in my size somewhere?" Went to eBay and found this.

Granted, it is beautiful, and I'm pretty sure I remember reading somewhere that these were made by a more 'special' fabricator than most other Panasonic bikes, and it comes with a brand new Dura Ace 7400 groupset attached. But the price still seems at least $3000 too high.
Am I wrong, or is this a grail collectible bike that somehow commands that $5700 price?