I The walkman they have pictured at the top of the article is what I use primarily for music when mobile. Like it a lot. Sadly, I still rip most of my stuff as MP3s, though I use a stupid bitrate, mostly because any device on the planet can play them. I also have programs that let me edit the tags easily, including adding artwork
“though I use a stupid bitrate”
Are you talking 128kbit mp3 ? Started with that in 1998. Almost everything I have heard is fine at that rate.