Intentaría ir por un pixel.
Mantengo que, aún siendo este mi segundo Xiaomi, no vuelvo a comprarlo.
Estoy con la ROM pixelexperience encantando, y con miui está demostrado que añaden en cada actualización 10ncosas y rompen 13. Así que sin duda, y con 600 euros como rompe o me pillo un Samsung (mi pareja tiene uno y cero problemas, actualización de seguridad cada mes como mínimo) o ya que me gusta la pixelexperience me pillaría el pixel.
Pero no, no vuelvo a tener que perder tiempo en solucionar errores en una ROM de Xiaomi.
Es mi opinión, aquí expongo lo que no volvería a comprar.