We just turned Platinum on our last cruise, and wondered how the $25 casino money worked. We asked about it but were told it goes on a casino card, and not the Sail and Sign card. We would then go to a machine and choose to use it instead of our S&S card. We are not casino-savvy, so we were wondering if we could cash it out somehow, and if so, how would we do it?