Ya no uso el Redmi Note 5 como móvil principal, pero lo tengo como móvil de emergencia plenamente operativo y para ello tengo la Pixel instalada y va de fábula, se actualiza una vez al mes, Play Store certificada, va muy fluida, la batería bien y no le he encontrado ningún bug.
No tiene mucha personalización pero tampoco lo echo de menos, me gusta por su limpieza y simplicidad.
La versión con android 12 solo va a actualizarse hasta diciembre, de hecho ya hay versiones con android 13 del mismo desarrollador, pero no las he probado y no puedo opinar sobre ellas.
Te recomiendo que te pases por el grupo de soporte de Telegram y allí tienes toda la info necesaria.
Hace muchos meses que la tengo instalada, antes tuve la versión con android 11 y la recomiendo sin ningún tipo de duda.