Al,
I think he's talking about the $5, $25, $100 numbered set that was released in a lucite holder. I sold a couple sets on eBay a few years ago, didn't get more than $20 or $30 over face value per set.
Bob (flying to Vegas tomorrow afternoon!)