I'll be diving at Divi in February. They have an added 10% "Service Fee" on all diving purchases. Should I consider this a mandatory tip and not feel obligated to further tip on the dive boat? With the exception of something that went beyond ordinary.