Should restaurants get a cut of employees tips?