Hay otra cuestión, quieres MIUI o Android Puro?
Es la única diferencia, que yo veo, junto con la batería que hacen dudar.
-MIUI tiene su desarrollo a parte de google. Puedes tener la última version de MIUI y ni tener la misma versión de android. Las actualizaciones van más menos cada mes. Funciona muy bien y tiene añadidos en la capa que usa.
-Android puro, sigue las actualizaciones de Google realizadas en los pixel, aunque un pelin más tarde, pero aseguradas hasta 3 años y parches cada mes. Tiene solo las apps de google y te da la opción de instalar algunas de Xiaomi al principio, pero no son obligatorias, es decir, al iniciar el mov tendras una media de 8 apps más las que instales
Las dos opciones funcionan muy bien, pero son determinantes para saber cuál elegir.