Los 3 redmi que he tenido han tenido los mismos problemas en menor o mayor medida, sensor de proximidad que funciona cuando quiere y hace que hablar sea una lotería, brillo automático desastroso teniendo que ponerlo en manual dentro de casa y sistema de notificaciones que no me gusta nada. ¿Esos problemas se dan en el 9s?