Never have, never will.
We started as only a catering operation before evolving into a restaurant , we didn’t tack on a mandatory gratuity then either. I think it would have hurt our servers income because most gratuities that we had received were typically over 20% Of course there was a few events where they got stiffed, but we added extra pay on to make up for it.