I paid $995. I actually only saw the one listing, but it may have been listed previously.
I've wanted one for a while. Missed a CA one at the Dallas Guitar Show two or three years ago, and seems like that one was $1,400. Told myself, "If it's still there when I walk back by, I'll get it..." And of course it wasn't there when I went back.
This one's in really clean shape with the exceptions of some buckle rash on the back and some rust here and there. I've got plenty of NOS parts, so should have her cherry in no time.