Ok, entonces si bajo Xiaomi Tool instalo la beta de Miui 10 sin problema? Y luego cuando salga la definitiva se recibirá la OTA o hay que flashearla también manualmente? En todo caso, vale la pena ahora mismo poner la beta, o es mejor esperarse a que la lancen estable por OTA? Gracias