Yo iría a por el Redmi Note 5 o Redmi Note 6 pro, ya que tras haber probado un Xiaomi con Android one (Mi A1) también he llegado a la conclusión de que Xiaomi no optimiza igual de bien los terminales con Android One que los terminales con MIUI, así que si quiero un Xiaomi, que sea con MIUI, para android stock ya están Motorola o Nokia.