I'm sure this has been asked before, but I'm not sure how to search for it (new to the boards). I've got all of my ADR's for our party of 2, and there are some buffets (Crystal Palace, Beiergarten, Boma). I'm not used to eating at buffets in real life, so I'm not sure if you are supposed to tip at a buffet. My husband thinks that since you get your own food instead of being served, tip isn't necessary, but I thought that I'd ask what the norm is. Is there even a server to tip at those places? This is our first Disney trip, so I've never been to any of these places. Thanks.