I am getting ready to leave for Liberty OTS in four weeks (can't wait!!) and this will be the first time my child will be able to go to the camp (this is his 3rd cruise). Does anyone know if there is additional tipping suggested for the Adventure Ocean Staff? If so, usually how much?