Skee,
Royal Caribbean Cruise Line also had a series of 9 different tokens that they used briefly on their ships. I was told they stopped using them because they would chip and clog the machines. Here is one of them.