How a local restaurant gives a ‘tip/bonus’ to its servers