Our first time cruising is coming up in a couple of weeks. Our documents give tipping guidelines for several of the staff. What about counselors in the kids programs. They probably work as hard or harder than anyone on that ship and they are not listed at all. Does anyone tip those brave souls????