Question: how to download entire music library from itunes match?
Answer: Go into iTunes and look for the little clouds in his library. Most, if not all, will have a little cloud icon next to it. He should be able to select all, then download one song and they'll all download.