Yo estoy contentísimo con el Mi4s. Buena autonomía, rendimiento, acabados, cobertura... Lo de que "se calienta" me pasaba con la ROM falsa con la que me vino el móvil. Desde que uso las xiaomi.eu ningún problema, de hecho, no se calienta casi nada.
Obviamente si no encuentras más barato ningún Mi4s que el Mi5, pues pillate este último. Pero yo descartaría el Mi3s por "obsoleto".
La única pega que le encuentro al Mi4s es, como te han comentado más arriba, que no existe ROM global y te tocará flashear el móvil. Quitando esto, ningún pero. Si lo encuentras más barato que el Mi5 y ya te hacía "tilín"
ni te lo pienses!
EDITO: Asi buscando rápido lo he visto por 200 pavos (versión 3gb ram 64gb almacenamiento) quizá buscando más lo encuentres mejor de precio...
https://es.aliexpress.com/item/2016-...08.4.44.IxsVin