Keep in mind it doesn't encode while ripping (despite what the icon might tell you) so if he ripped a large number of CD's in one go, very little encoding would have taken place until he was done.

At that stage there is something in the region of 100GB of data to MP3 encode TWICE in the background. That's a good 40 to 50 hours at least, not including time taken out to rip or play back any other CD's in the interim.

I would have thought it should be about done by now, though.

Rob