Poner nombres a Xiaomi desde luego se le da como el culo. El Redmi Note 5 Pro "no existe" fuera de la India. El problema es que el Redmi 5 Plus indio se llama Redmi Note 5, así que allí para diferenciarlos, al Redmi Note 5 lo llaman Redmi Note 5 Pro. Pero en el resto del mundo lo único que hay es Redmi Note 5 a secas. Hay que fijarse bien a la hora de comprar. Dejo un vídeo que lo explica bien: