I'm glad someone brought this up as that's what we've always thought. On our last cruise in October (Spirit out of Miami), we watched the Alchemy bartenders stick the cash in a shared bucket by the register. We asked the Alchemy crew about cash tips vs tipping on the receipt and they said the cash is shared and the receipt tip is to the specific person. We verified this with our long time waiter friend in the atrium bar on that same cruise. Is it possible it's different per ship?