Os comento mi experiencia con el cambio de batería.
Después de 2 años la batería se empezaba a descargar más rápido de lo normal. Por lo que por experiencia en otro modelo anterior de Xiaomi en este caso el mix 2 y por haber comprado varias baterías hasta dar con una marca que realmente da la capacidad de fábrica. La marca que volví a elegir fue NOHON.
El acceso al teléfono es fácil, tiene pegamento pero poco, por lo que se puede cortar metiendo una tarjeta de crédito en la rendija que se abre con una pua. Por el resto es ir desmontando con destornillador y despegar el NFC y carga inalámbrica que no tiene mucho pegamento con la tarjeta y llegas a la batería.
Por una vez han pensado en sacar esa batería con 2 pestañas de plástico que al tirar se despega la batería en bloque.
Unos 40 minutos me duró en cambiar la batería y tener el móvil como nuevo.