I'm taking 8 high schoolers to FL for their checkout dives. They've completed their class and pool sessions at home. We always do shore checkouts, and no one ever tips our instructors. This will be a referral situation and they'll checkout on boat dives. Should I tip the instructors (and/or dive masters, if they have them) for the students, or is it considered part of the checkout fee? I was scheduled to dive with them, but won't be due to a broken rib.