I've done this a few times, well, with three albums, a few months ago. I usually don't buy through iTunes, but I've definitely done it.
Regardless, though, if that's not an option, he could also use a different encoder, couldn't he? Like Audacity will export to mp3.
Bookmarks