We just booked on the Disney Magic for 3/22 with a 10 year old son and 7 year old daughter. Our son is very shy - anyone out there booked for the same trip who might have a son in this age range looking for a friend? I'd like to get in touch before the cruise if possible.