I think value is probably close. I would not think of selling my TAFG for $13K.
And most people that have these are in the same boat I am.
Being a collectors version, I personally prefer more original than with some of the “upgrades” like lighted buttons