Tanto el Note 7 como el Mate 10 me parecen buenas opciones para el uso que le das al teléfono. No pagaría más para algo tan básico. Entre los dos optaría por el Mate si no te importa la comunidad, o por el Redmi si quieres tener la posibilidad de trastear con ROMs, rootear, instalar GCam y esas cosas.
El Mi 9T solo lo compraría si lo consigues a ~250€, pero por más de 300 no creo que merezca la pena.
