That’s when you tell them they need to take that up with their boss. I will usually leave an additional 5% cash and call it done. You will read many servers say they don’t get any of it and complain about tipping. But that’s not my problem. French side I just leave 5% cash or round up Super easy.