We booked the 5 night Marvel Day cruise leaving out of Miami the end of Feb. My kids are 16-18. Will they find the Disney Cruise to "childish?" They are excited, but would hate for them to be disapointed if everything is geared towards 7-9 year olds.