What is the custom for tipping on day long cruises? Do you tip the crew individually or in one go? How much?