when that listing went up, i figured that he had ~$4400+ in it (that number doesn't include the #2 yellow and #3 red, which may have been through private sales). i always assumed the listing was to simply verify the existence of the set and the $10k pricetag was what it would take to pry it outta his hands. kinda like when RMA lists his black #3 for $2099.99... he ain't exactly trying to get rid of it, but i'm sure he'd gladly take that coin if someone seriously wanted to buy it at that price.
Spot on more around 5400