Si ves que no hay manera, bájala aparte desde la web de miui e igual sí tienes solución, puedes probar:
http://en.miui.com/getrom.php?r=323&m=yes&app=false
Una vez descargada es copiarla al móvil (o si la descargas desde el móvil un paso que te ahorras) en la carpeta "downloaded_rom" (en almacenamiento del móvil) y desde la Ota eliges el archivo desde "selecciona paquete de actualización"/gestor de archivos... y sigues algún paso que te sale, es fácil.
