I'd assume most of those high denomination tokens were bought at face value from the casino or do they often turn up in the market after they were decommissioned by the casino and considered obsolete?
Thanks,
Eric