Interesting; in the US it's common practice for all tips received to be pooled, and then divided among the waitstaff, busboys, etc. I'm not sure if they're divided equally, but everyone should at least get a pre-decided portion.