Actually, our last cruise we were waited on for lunch by one of our previous waiters from another cruise & he recognized us immediately, spoke at length with us & was terrific, as before. So, the last night we put some money into an envelope & tracked him down & gave him a tip. We had also done this on a previous cruise with almost the same scenario - just a different waiter - but we don't tip at the actual meal.