We generally don't tip the guys at the marina when we're leaving or returning. We did tip our checkout captain $30.
We tipped the guys at Leverick $20 each for helping us into our slip.