@manzing: Thank you eternally for pointing out the above thread.
It worked! Well, I still have a problem with the correct ROM, but the the Redmi 3S is now recognized as Qualcomm HS-USB QDLoader 9008, and therefore in EDL mode, and Miflash detects the phone correctly.
No need to send to service...