Xiaomi Redmi Note 9 Pro 6/128 (новый) за 18.500 - норм цена или дорого?

У меня в городе на Авито есть продавец, судя по объявлениям барыжит техникой, у него и сонька пятая есть и xbox с кипебпанком и тд.
Xiaomi redmi note 9pro продает за 18.500
написано глобалка, тел новый в коробке. Я так понимаю, что купил где-то на али.
Какая цена для него нормальная, 18.500 это дорого или норм? На алике вижу такую же цену, но хз, лучше уточнить у знающих)