Finalmente, como la mayoría me habíais sugerido, me he decidido por el Mate 10: aprovechando la promoción de eBay me queda prácticamente en 250 euros, una oferta que no pude rechazar
Gracias a todos por los votos y opiniones. Saludos.
Edito: de momento no compro el Mate 10, puesto que el vendedor (Phone House en eBay) ha cancelado el pedido, escudándose en que hubo un error informático por el que no calcularon el stock disponible. Para colmo, la alternativa que me ofrecen al mismo precio que el Mate 10, es un P20 Lite, menuda tomadura de pelo.
En fin, ahora ya me están entrando dudas sobre el mate 10, porque entré en el grupo de Telegram de este terminal y la gente está muy descontenta con la actualización a Android Pie. Y el software ya era uno de los puntos débiles que le veía a este dispositivo... Quizá acabe decidiéndome por el OP6 o el Mi8, en los que tendré más facilidades para configurar el teléfono a mi gusto, ROMs alternativas en caso de necesitarlas...