We are going on our 1st trip 30 days from today, yea! I have ADR's at Boma, Chef Mickey's and Biergarten. We have the DDP and I know we are required to pay for tips out of pocket but what about these buffet dinners? I am never sure how to tip at a buffet or is it even required?