I'd pay that if I were in the market for one.
I asked a guy selling a pair of Pugs at a local swap how much, he wanted $1000 for a beaten and neglected PX 10 and a generic Mixte in equally deplorable condition. The one in the CL ad is at least in line with reality.
__________________
1971 Paramount P-13 Chrome
1973 Paramount P-15 Opaque Blue
1974 Raleigh Professional Blue Mink
1991 Waterford Paramount
Holland Titanium Dura Ace Group
Holland Titanium Ultegra Triple Group