What I can tell you is that having lived with that Model for many years, it is a wonderful speaker with great WAF. If they are truly in great cosmetic and mechanical shape, it sounds like a good price to me but I would not a trader looking for bottom dollar ( like a car auctioner), rather a person looking for value which would make me happy for a good while. Also next up the line would be VR5 and I have been following those more closely and they can go from about 12K to 18k (for MK2 Anniversary) used. When I listed my Annis for$18,500 recently I had several offers within a day and no low ballers. Hope this helps.