We to the restaurant front desk to pick up my chip, the hostess was seating a party, so I waited and she was talking to them a lot. The chips were in a 100 chip box with about 84 chips in box. I waited for 3-5 minutes no one around, very tempting to grab a few, but I couldn't do that so took one and left. Then was watching the roulette wheel, two European guys had three stacks of twenty, dealer and pit boss talking and not paying attention, so the guys took the chips and walked away. I followed them and asked where are you going, replied to cash them in. I said I will cash them for you gave them 60 dollars two different colors. Took me Many years to sell or trade them. Crazy casino experience.