The Island Holiday chips were used on the Texas Treasure day cruise ship. Here is link to the chips from this boat:
http://www.chipguide.com/cgi-bin/search/search.cgi?id=txpatt
