Todas las películas que as nombrado vienen en Dolby Digital EX, pero no todas ellas llevan la señal bandera que activa automaticamente el DD EX en el receptor, tienes que activarla tu manualmente.