Does anyone know where these are from? I am presuming either Europe or South America but TGT was no help. They are denominated on the back and I have some extras so I will sell the set of 7 for $30 delivered. I also have a few extra chips for $5 each.