Should you tip the mate at the gas docks at marinas? If so, what is the appropriate amount to tip? Just wondering some of the dock workers are very helpful in tieing up at the dock. My friend and I disagree on this subject and was just wondering what everyone else did.