Bueno, ya he flasheado dos terminales y todo ha ido perfecto. Desinstalé los anteriores drivers y empecé desde cero siguiendo a rajatabla esta guía. He de añadir que para instalar los drivers sí tuve que poner el modo depuración de USB (quizás no era necesario pero algo no iba bien hasta que hice eso). Tras instalar los drivers, al enchufar el móvil encendido, en administrador de dispositivos me aparece como dispositivo portátil el teléfono, denominado Redmi 3s. Pero si apago el terminal y lo enciendo pulsando vol+ y botón encendido, entro en modo download y enchufo el usb, entonces sí que aparece en puertos COM, tal como se indica en la guía. Tras eso, el flasheo duró entorno a los 197 segundos.
Gracias por la guía @
seryioo 
A mi desde luego no! me va como la seda.
