If they give me good service, I always give them an extra tip, and also to the dining room waiters/staff. Their salaries are so low and even with the pooled tip their income is low. If I can spend that amount of money on the cruise, drinks, internet, etc, I can and will always give them extra for good service.