Entonces el "Redmi 11 pro plus 5g" sí tiene radio fm (con cascos), que hay muchos modelos y no quiero equivocarme...
Muchas gracias por vuestra ayuda, aquí hay más sabiduría que en los propios fabricantes.
Aprovecho para desearos a todos felices fiestas y feliz Navidad