De qué Redmi estamos hablando? No especificas el modelo.
Si te refieres al Redmi Note 5, cambiaría sin dudarlo dos veces. Incluso comprado desde España no tiene rival en cuanto a calidad/precio. La versión de 4/64 está por unos 180€ en Amazon y la de 3/32 por menos de 160€. Si compras desde China todavía más barato.