I went to the first buffet in a long time. There was a guy refilling drinks and clearing plates. Some people were leaving tips and some weren't. I left one as my kid made a mess so I figure he deserved it. But still I figured since GAF tends to tip for everything under the sun, what's the actual etiquette here?