The chips were bought by someone in Boca Raton, FL. I traded for some of the chips a few years ago. If you are interested, I will try to find who has them and how much he wants in quantity. How many would you want and how much would you pay?

Mike

PS: email me privately so it doesn't clutter the BB.