Thinking of adding non-disney cruise. Suggestions?

[macsandy1957]

So bringing my son to WDW for his 33rd birthday in November. Thought about adding a short cruise while we are in Florida. (we're from Oklahoma) Any suggestions? I thought about Disney but it's twice as expensive. Oh and he is about 10 or 11 mentally, so don't want a 'party ship'