I tipped US$10 per person. I was told by an expat that it was "More than generous". Well worth it in my opinion.