I just listed these on eBay. I'm kind of skeptical about trying to sell during the government shutdown. Some of these have sold for pretty good money in the past, I'm not really sure what is the driving force.
http://www.ebay.com/sch/mr2real/m.html?item=300983960561&pt=LH_DefaultDomain_0&hash=item46140ac3f1&rt=nc&_trksid=p2047675.l2562
http://www.ebay.com/sch/mr2real/m.html?item=300983960561&pt=LH_DefaultDomain_0&hash=item46140ac3f1&rt=nc&_trksid=p2047675.l2562