Cierto, la rom no está aún en miuicom pero la caja vendrá precintada con la rom global instalada, textos en inglés y cargador EU, tal y como pasa en otros terminales q xiaomi lanza de forma global (redmi 3s, note 4 snapdragon 625 o redmi 4a...).
Para ver las tiendas entra en aliexpress, busca redmi4x global y dale a "ordenar por recientes", yo lo he pillado en Fantacy y me ha mandado el vendedor un mensaje hace unos minutos diciendo q ya han recibido stock del terminal, te dejo el link, saludos.
Mira lo que he encontrado en AliExpress
http://s.aliexpress.com/rqMnIZfm