We currently have the early dining for our 5-night July 25 cruise. Thinking of switching to the late dining due to the "dine and play" for our 7 year old. Also, I think that 5:45 may be too early for dinner if we are off the ship in port - may be too rushed for us. Any thoughts? Which do you prefer and why?