Good lord...
I collected a set of 18, ignoring the green variations and was getting them in the $20-$23 each range.
Looking at complete auctions, the price of these seems to have gone up, but into that $40-$45 range... mark it up a little more because this guy did all the work and I could even see this being a $2000-ish lot if someone was crazy enough, but $10k is absurd.