While I agree that you shouldn’t short the worker, it also shouldn’t be the customers responsibility to pay extra for the worker. Your argument kind of goes out the window when you look at other jobs where people also get paid minimum wage, but don’t get tips. Why should waiters/waitresses get tips when others don’t? Does the chef not deserve tips too? What about the busser?