Slashdot is running a piece today on a new move by the patent holders of mp3 to charge $0.75 per _decoder_. Is there a converter to covert my _huge_ mp3 collection to ogg vorbis? or do I need to re rip them all? aloha, dave