The Redmi 9T & Note 9T 5G are official as Xiaomi's latest budget kings ...