After a mediocre dining experience on our last voyage, I was wondering if anyone; on a 7 day cruise or longer, skipped the dining in the main restaurants and did the buffet/food stations by the pools & Palo's instead? If so, what did you do about the "tipping" since you did not utilize the dining room staff?