They could have been used there or anywhere. They look like generic poker chips for the most part, could have been used anywhere, though I think I once read someplace that the distributor would save certain color combinations for one customer (regarding re-orders). ??? Nice chips, but not very great, fairly common. ... ... ... Others will chime in with better info.
Robt