I saw a couple different $100 chips, in good condition, in an antique mall today. The dealer was asking $10 each. Is that a good price? There was a recent post re: these chips, but I could not find it. Thanks for you help.