Good point. I've been tipping $5 per tank per diver, or thereabouts, for about five years now, plus a bump at the end of the week if we've been with the same DM every day and he's done a good job. And there are none better than Martin Matu at Dive Paradise, but I digress. Probably more than...