We'll be on the Magic out of Galveston for 6 nights and have a question about tipping. There will be 5 in our cabin (2 adults and 3 kids (ages 7, 5, 2)). What should we plan for tips? I feel like there is a formula, but I can't find it. Thanks!