I am making assumptions that we are talking about Apple Music and that he has some music directly on the device. Go to Library in the music app, then go to Downloaded titles.
He’s not up yet, will try this thanks.
OK I got some details. After the software update all his playlists were wiped out. His music is still there. But he had several playlists that were important that he used daily and seasonally. Is there any way to recover them without subscribing to Apple Music?