Tip Credits and Employment in the U.S. Restaurant Industry