Just saw a set for 300+ mint Dunes chips on eBay. Where are these mint chips all coming from? I thought I had read that the chips were imploaded with the Casino.

Thank you for the read.