Hi, John VV -
Fedora does not ship with any proprietary code that includes mp3
That was certainly news to me ... and I'm a Fedora user (Fedora 11, at the moment)!
Not only wasn't I aware that Fedora didn't ship with MP3 players (I'm used to just about *every* distro shipping with *multiple* audio players, each supporting *multiple* formats) ... but I wasn't aware that the MP3 format was encumbered. I thought the fact that it came from the "Moving Picture Experts Group" meant that it was basically an "Open" format. In fact, it looks like the exact "ownership" of the standard is a legal mess: