Quizá en el hecho de que aun no haya salido en USA tengas la respuesta,a ver con que audio sale Aladdin allí si con este 5.1 o 7.1, también podría ser que tecnicamente no quedase un buen 7.1 y hayan preferido dejarlo en 5.1.

Un saludo