While it's a bit on the higher side compared to other places, this is completely normal. For places like that, the average I would say is about 8-9%
When minimum wage went up, all restaurants recouped a large portion through tip out. Since 2019, tip outs have gone up between 50-100%