As phtomita pointed out, it's also on the bay. I started watching it several weeks ago. It was first listed at $799.
Not my size. I was just interested since I bought a similar '87 model a while back, after input from the experts here. It was for my son. He really likes it. I've ridden it some as well. Nice bike, rides great, crashes well (another story). I don't think you would be disappointed.
Since he started so high and has come down, maybe offer $200-$250 and see what he says. Maybe realty is setting in and he'll bite. Good luck.