i agree about tipping full amount for children. i have three children (17months-6yrs), and enjoy the occasion when we all go out to dinner because i don't have to clean-up the mess (i do try to keep it to a minimum), we always tip more than 15% because of the kids. remember most of the crew work on tips, thier base pay is usually next to nothing.
have a great cruise. we'll be doing a big family cruise like that in oct. 2003.