NINE GRAND??????? Fuggin 'ell 
Twenty one years ago, 509's were less than £2500 retail and I perhaps foolishly bought a pair of Tube Technology Genesis mono's instead, which sold for about the same.
Several years ago, stuff on ebay was dirt cheap. It's only in recent years that audio has taken off in price (unlike the clocks I bought which now sell for half what I paid for them).
I can't go on and I can't go back, I don't feel so matter of fact,
I tried and tried to make good sense, What's the good to try it all again?