Выбор смарта

Пепперчане, посоветуйте, что лучше взять бабушке-пенсионерке в бюджет до 10К, на примете 3 кандидата:
POCO M5 4/64
Redmi 10 2022 4/64
Honor X7 4/128

Обозначу некоторые вводные: до этого было 2 смарта и оба Redmi, так что как бы имеет смысл оставаться на продукции Сяоми. Но вроде как для MIUI оперативы в 4Гб мало, как пишут люди на различных ресурсах, будут тормоза и лаги?
В пользу Онора экран побольше, но тут палка о двух концах, значит более лопатистый, удобен ли для женской руки, хз...., зато памяти 128Гб и более легкая оболочка, но придется перепревыкать при переходе на другую операционку, с MIUI на Magic UI....
Вот и ломаю голову