Si quieres probar HyperOS, es buen terminal, eso si, no sé en qué estado estará el tlfno al ser de 2da mano, que es para mí los interrogantes, si está bien adelante. No he probado HyperOS, según he visto y leído experiencias es un poco más de lo mismo, va fluido pero consume algo más de batería. Luego, por algo más se me ocurre el Poco X5
En caso de querer gastar menos, vi un Realme 9 5G por unos 120€ en el Corte Inglés, lo bueno es su procesador SND 695. Tiene peores características que ese Redmi