But there’s no tax on the tips workers aren’t getting.