Todo el tutorial realizado con el 6/128Gb https://www.htcmania.com/showthread.php?t=1458845
Instalar Google Play es muy sencillo. El único inconveniente es que se hace largo el plazo para desbloquear el bootloader (no se como estará ahora, si serán 15 días, o menos)
Solo te recomiendo el modelo chino si llevas intención de flashear Xiaomi.eu. Los modelos chinos con rom Global se pueden brikear en alguna actualización, solo tienes que mirar lo que pasó con la última actualización en el subforo del Redmi Note 5. En cambio si llevas idea de continuar con la rom china es posible que tengas ciertos problemas con la sincronización de alguna app.