Finally coming to Singapore! Will Mi MIX 2S come together with the Redmi Note 5?