Hi Mike,
Yes, I always tip the same when traveling with our kids. They are just as much work as an adult, may-be more so. The waiteres in the dinning room usualy go out of their way to make the kids happy, so they deserve the same tips.