We are visiting Discovery Cove around Thanksgiving and want to take advantage of the Sea World and Busch Gardens offers. We are a family of 5 and 1 of our children are not 54 inches tall. Does Sea World and Busch Gardens offer a child swap option like Disney does?