No.  This is not a post about how much or whether we should tip the crew.  I know that they deserve and should get their tips.  My question is considering that their tips are a major amount of their pay, what is happening to them while cruises are cancelled.  Are they just getting their inadequate base pay or are the cruise companies making up for their missing tips?  I assume that the companies are not making up for the missing tips but does anyone know for certain.   DON