I do loathe mp3, awful quality in my experience, unlike WMA. I’m no expert but there could well be alternative conversion target formats if it turns out that you aren’t happy with the mp3 sound. My wife has a Sony android media player device like a phone and she has downloaded some very high quality FLAC (iirc) files, classical recording, uncompressed, or lossless compression. Someone will know about audio file formats anyway.