Do all restaurant employees receive their tips?