the extractor works well (for me) and you get the music as wav-files. This is high-quality. If you want to have them as mp3 or what ever just use a tool like CDex (it's for free).
All in all I think the extractor is A LOT easier to handle because you just have to do a few clicks and you don't have to cut the recorded music into pieces.
But everyone should do what he wants to

and btw: there's already an old thread about this topic with a more detailed description - just use the search function...