Yes, it is indeed rare that a tipped employee would not make minimum wage when tips are included. However, that does not change the fact that the difference bet

Yes, it is indeed rare that a tipped employee would not make minimum wage when tips are included. However, that does not change the fact that the difference between the normal minimum wage and the tipped minimum wage - $5.12/hour - is made up in tips. If there were no separate tipped minimum wage, these employees would be making $5.12 more per hour in money they take home. In both this case and the Amazon/DoorDash case, there is some concept of 'guaranteed wage' which is actually backfilled by tips.