Trying to decide if we want to add a cruise onto the end of our 7 night WDW trip in December or wait and do a cruise as a separate trip. Cruise would only be 3-4 nights. Kids 6 and 15. We are DVC members so our trips are not rushed at WDW where we feel like we have to fit everything in. Still, if you did a cruise right after WDW, did you still enjoy it or too tired? This would be our youngest child’s first cruise so wanting to do a shorter cruise to make sure he doesn’t get sea sick. Since we do typically fly down, thinking about adding shorter cruise onto this vacation since the kids have a longer break from school.