Oh well, when it comes to playing music I still use Winamp*, but the only non-Free codec there is for mp3. I'd assumed that most of the non-Free codecs were for video. I agree that VLC is not really set up as an audio player.
* because it does what I want and still works