The kids will be 7 & 9 when we go. The 7yr old does everything the 9 yr. old does and then some. I'm sure he would fit in just fine, but I would hate to get there and have them be split up. They do everything together and might not want to go at all.
That would be fine under normal circumstances (we do everything as a family), but this particular trip is our 10 yr anniversary cruise and we would like a little bit of "alone" time.
I'm sure there have been other families in a similar situation. I just didn't know if they are firm with their divisions or if there is room for negotiations.