Has he got the right audio channel selected in AHI preferences? Or in the software he is trying to use?
Also, decide which quality he wants to select in AHI.
And if you think that's all setup properly try some other mp3 software...
worse case scenario, for petesake get a sound card ;-)