I received this today also Dave, but we have already factored into the cruise costs our daily tips to the crew and wait staff. If we've already set them up, will there be a notification of the people that we have tipped them, since I understand that the envelopes have been cancelled as well? If we wish to tip over and above for exceptional service, do we now just hand them the cash, or will there be a subtiler way to give them a little extra?