Big man on TCU campus is only 11