I posted similar content elsewhere, but perhaps this is a better venue.
I am a Redmi Note 10 Pro (sweet) owner, and currently using the stable 12.5.9 Xiaomi.eu ROM. I am wondering if you could modify the built-in FM Radio app so it can handle more frequencies.
I cannot know about MIUI 13 yet...