It sucks for the workers sure, but you're just rewarding this restaurant by also tipping. If nobody did or stopped patronizing them they would either fix what they were doing or have a hard time finding staff