I agree. A tux isn't a "must."
However, in seven Disney cruises on the Magic I must say that a significant number of men do dress in a tux. Many more than 3 or 4 on my cruises. With that said, the number of men in a tux is far fewer than those wearing dark suits.