My kids are 10, 8, and 5 and I know they have life jackets we can borrow when at Aulani, but what have others done when leaving Aulani? We are planning on doing some snorkeling and beaches that aren't at Aulani. They are too bulky to take but too expensive to buy and I think at my kids' ages they need them in the ocean. Any suggestions?