i reckon the price is close, but the auction should have started @ $6000.00 and then he may have got maybe $9k its very original which is hard to find these days. they are not making any more.
would look nice parked next to my 4 speed wb, nearly a matching pair.