El oneplus 6 si lo encuentras a ese precio es la mejor opción seguramente. Un teléfono tope de gama del año pasado, no hay mas que decir..
Como alternativa otra opción muy buena seria el huawei mate 10 en amazon que esta a poco mas de 220€ gestionado por ellos con su garantía española de 2 años. A pesar de ser un tope de gama de finales de 2017 sigue siendo un pepino en cámara, procesador, batería, UFS 2.1 etc bastante por encima en general del redmi note 7 y encima actualizara a android 10.
El redmi note 7 que mencionas también es una opción sobre todo si quieres ahorrar lo máximo posible y no necesitas prestaciones de gama alta.