So what is the "rule" for tipping when you eat in areas other than the formal dining room??? We will be sailing with two small children and consequently expect to not eat dinner every night in the dining room. I will still tip the waiters in the dining room -- realizing they are counting on that money --- but do you also tip elsewhere??? And, who do you tip in the other areas to eat???