This policy is different than adding an automatic 15% for staff and servers, which I hate that one too, by the way, but I just leave it at that, they get 15%, period. Many people will be deceived into adding an extra 15% for servers on top of the already 10%. Other staff have NEVER been tipped separately, as far as I know. Raise your prices 10% and pay it to the other staff, or whatever you have to do to stay in business.