Name:   Talullahhound - Subject:   Marina Tipping Question Date:   6/2/2017 7:24:53 PM

Always tip about $5 or so, on gas service.  These are usually HS and college  kids who are trying to earn some extra money, and I admire that. 

I guess my rule is that I always tip whenever a service is being provided, unless they are being performed by permanent employees of the marina.