Great review!
I've been using a Redmi 9 as my daily driver since 2020.
Although the specs are not as good as the Note 8, many features are comparable.
Xiaomi tends to make good budget phones whose quality make them feel premium.
I bought the phone new at about ₦66,000 ($88 using the conversion rate you used in the post).
It's 2 years old and it still feels good.
My 2 year old Redmi 9