No, but I assumed there was some sort of tip sharing deal between them; isn't this common in restaurants too (e.g. I tip the server because that's who I'm interacting with and it'd be weird if I walked through the kitchen giving individual small tips to the line cooks, busboys, etc.)