Pues yo diría que hay algún error.
El link a la ROM que hay en la página de venta te lleva a una ROM global del MI5.
Oficialmente, de momento no existe ninguna ROM Global para el REDMI PRO. Si lo quieres en castellano, lo mejor que tienes es la de Xiaomi.eu.