What's the deal on all the $100 chips offered in online auctions lately? I know Russ had a bunch up for sale, and I notice Jackpot has some great ones too! Did someone recently sell their collection? Awesome chips!

http://www.jackpotauctions.com/cgi-bin/12345.pl?chips&1022808032
http://www.jackpotauctions.com/cgi-bin/12345.pl?chips&1022808349
http://www.jackpotauctions.com/cgi-bin/12345.pl?chips&1023586340
http://www.jackpotauctions.com/cgi-bin/12345.pl?chips&1023586149