In US restaurants, do cooks receive tips like the waiters ? Is there a sharing between waiters and cooks ?