すみません、>>820ですが、Redmi 9Sの国内版を手に入れました。
とりあえずは、MIUI 12.0.4のEU版かグロ版待ちです。
グロ版とEU版の違いが良くわかっていないのですが、EU版の方がよりクリーンと考えて良いですか？