Hi! I'm planning to buy the Redmi 3 phone from Giztop. Since I'm new to the Xiaomi phones, I just want to ask about installing the ROMs from this page. I suppose I need to wait for the phone to show up on the device list on the ROMs download page (http://xiaomi.eu/community/threads/6-1-21.29600/), right? Then I just download the right ROM and install it following the instructions.