Mira en Aliexpress plaza las opciones que tengan. Para mí, la mejor opción para no complicarse mucho la vida con ROMS y tal, es pillar la versión Global (el modelo que lo tenga) y con seguro de sustitución de un año de Aliexpress. Estos teléfonos de Aliexpress plaza se envían desde España.
Si por lo contrario, eres de tocar ROMS y no te supone ningún problema comprar en China o terminales que no sean versión global, el MI5s comprado en tienda Española es también buena opción. Lo que ocurre es que en este caso, no sé cómo funcionan las garantías, pero no teniendo Xiaomi servicio oficial aquí, no sé hasta qué punto esa garantía Española es útil o no. Imagino que para pequeñas reparaciones servirá, pero según lo que tengan que tocar, tocará mandarlo a China de todas formas...
Yo acabo de comprar un Redmi Note 4 GLOBAL en Aliexpress plaza y el teléfono va de lujo y no hay que tocar prácticamente nada. Y encima por 150€. No sé qué exigencias tendrá tu pareja, pero a mi me sobra teléfono para un uso medio. Lo único que se puede echar en falta es una cámara algo mejor.