Let restaurants keep the tip credit and let restaurant workers keep their tips.