I recently upgraded to the Redmi Buds 3 Pro. I use them with the Redmi Note 10 Pro and occasionally with the Nintendo Switch.
For the €105 I paid (including shipping), I am completely satisfied.
The sound quality is very clear and detailed, no matter what genre of music I tried, from rock & metal to Irish folk. It has good performance across the entire frequency range and a very "flat" sound, which is what I like. I believe a pair of headphones should not distort the received signal, but faithfully reproduce it. These headphones do that and more.
The ANC has improved a lot compared to the Redmi Buds 3 Pro, and it cuts off a lot more frequencies and higher intensities. I never had to raise the volume above 6/10, even when walking next to a busy street.
The microphone and sound quality during calls are very clear and perform well.
The fit feels very good, and I had no problem wearing them for many consecutive hours after switching to the XL size tips that come with them (they come with 4 different sizes).
The battery life is very good, and I believe it will satisfy most users without any issues. Even when I wore them a lot with ANC on, I didn't see the battery drop below 60%.
And all this without having access to LHDC or spatial audio because I have a relatively old Xiaomi phone.
For me, if you have a Xiaomi phone and want good music performance and excellent ANC, there is no better alternative. The €100 price tag may seem like a lot, but for me, the sound quality, comfort, build quality, and ANC justify it. They were worth the upgrade from the €50 Buds 3 Pro.
If someone is considering them without having a Xiaomi phone, there is the Mi Buds M8 app that gives you all the capabilities that a Xiaomi phone has (except for LHDC and spatial audio, which only work on very recent Xiaomi models and nowhere else).