Planning an extended family cruise in 2020 out of Galveston. Options are RCL, Carnival, and Disney (limited season over Thanksgiving/Christmas. Have sailed all 3 lines. Down to RCL Liberty and Disney Wonder. Been a while since I've sailed Disney and the ships seem like they're way behind other lines for on-ship activities and modernization, yet its a premium price. Any inputs from those who have sailed both?