In my experience, the waiters tipped the bar staff and the busboys out of our own tips A our discretion. And in general the bar staff did a good job, but they absolutely knew which waiters tipped well and which tipped poorly.