Does anyone know where I can get any chips that were actually used in World Series of Poker play (as opposed to other Binion's chips which commemorate the WSOP). I'm talking about the blue $5,000 and red $10,000 face value Bud Jones chips that Binion's used in the tournament during the 1990s, or the set of Paulson smaller denom chips ($1 through $5,000) that were also used in the actual tournament. I haven't seen any on ebay in a long time. Also, any idea on the cost of such chips?