Hi, I hope I'm posting this in the right section. I would like to buy a redmi 3 from a local (Italian) store, in order to have a warranty and avoid import taxes. It comes with the xiaomi.eu rom pre-installed, MIUI 7.1, multilanguage and no OTA support (guess it makes sense because the xiaomi. eu rom is not official). In this case, what's the procedure to update the phone with the new xiaomi.eu MIUI versions? I wasn't able to find anything useful on the internet.