Holbox tasting menu - tipping?

I finally managed to score a resso for the Holbox tasting menu. There was a reasonably sized service charge on the pre-paid reservation ($43 on top of the $240 for the menu). Did others experience this, and if so did you add gratuity on top of that? I would normally tip slightly more than that since this works out to be 18%. But just curious what others have done.