In all honesty, our grandkids, ages 9 and 12 probably enjoyed Gatorland better than anywhere else, minute for minute. You can do Gatorland easy in 5 hours and there are no lines, no waiting, just tons of Gators of all sizes, up close and personal, and some fun interactive shows with live gators and other colorful and "cool" reptiles.
Easy to get to from anywhere around Disney.
Good Luck with your decision...hard to go wrong with an 11 year old!!!
Ted