Has anyone seen any cheap Xiaomi Redmi phones in the Singles Day sales? Any extra discounts? Bought my brother the Redmi 5 Plus a year or two ago (about NZ$160) and its just been run over!