This amendment — which was pushed heavily by the restaurant industry — would have lowered wages for tipped workers slightly ...