If they were fixed, you would get north of $2k each. A friend looked for one of these about a year or two ago, and got a mint one for $2200, that was a good deal at the time. For those with power hungry speakers, it's hard to beat them in that price range, IMHO.
So fix 'em! Cheers,
Spencer