Yes, I see them now on the Chip Guide. Both $5 and $25. So, Casino Royale in Curacao it is!
Didn't know that before. Thanks!