For our upcoming July trip, we were thinking of taking the kids to SeaWorld since they have been to Disney several times. My plan is to arrive at SeaWorld between 9am and 10am. Spend pretty much the day there or until the kids get tired and are ready to go see Mickey. We have a PS at Chef Mickey's for 6:10pm so we have to leave in time to get to WL and check in, freshen up and then head over to CR. I know we won't see everything at SW but I think the kids will enjoy it, we always have. My question is this, if we arrive at 10am and leave around 3pm, will that be enough time at SeWorld or will it be a waste of time? It has been awhile since I have been.