What you tip someone(a gas jockey) for just driving the boat from beach bar, to beach is different than a crewed charter. For what it is worth. This is a straight cut and paste from The Moorings Crewed Charter webpage:

"Crew gratuity is not included and as a guideline, 10-15% is customary. All prices are in USD and are subject to change without notice."