Key West. For some reason, those 20-cent chips show up from time to time while higher denominations seem to be elusive.