Al final, lo he pillado en un distribuidor autorizado, pagando más.
Por si a alguien le surge la duda igual que a mí, he averiguado lo siguiente: parece ser que si lo compras a un distribuidor NO oficial, la garantía depende de ellos (lo repararía un SAT elegido por ellos no oficial), mientras que si lo compras en un dist. oficial, se tramita directamente con Xiaomi.
En respuesta a mi pregunta, si la tienda no da la cara, estás jodido y te lo comes, o bien lo llevas por tu cuenta al SAT que quieras, pagando, claro.
