Yes, I then convert with AudioGrabber to a bitrate of my choice.

But real time mp3 encoding would be better as it won't fill the hard drive so fast.