My son is pretty adept at ripping CD's onto his Ubuntu machine. But it won't encode them as MP3's, of course, because of the proprietory bits missing. How do I get those bits onto his machine - without the internet, which we don't have at home? Thanks in anticipation, Mark