All that said, the Disney Magic and Disney Wonder will probably stick around for at least another seven or eight years, maybe ...