I saw that in Curacao last year where 2 different casinos had 4 different colors of their $5 chips.
Scott