I'd honestly pay $7000 for one.
There was also a TBL listed for $20k recently. I'd pay about $9000 for that one as the new ones for $10k actually seem likely at some point and every one for sale right now was purchased for $8500. With BBB, CC and MB all being remade in the near future, those have all become sub-10k pins as well, IMO. Even Tron LE is threatened by a VE and should probably be 4 digits. This spike of markedly overpriced pins won't last when companies can make money by remaking them and selling them for $8-9K.