I do not know that they have been used on cruises, but I suppose they could have. I would check John Long's site. Here is the link to the Caribbean Chip Guide showing what chips were used in the Bahamas:

http://www.caribbeanchipguide.com/chip2.php?primarykey=BAHPRI&sort=type

Michael Siskin