Tipping on Carnival Cruise Lines. How much should you tip?!