I've told him these suggestions, but he hasn't gotten a chance to try anything yet.

My only issue is that he's not exactly super computer saavy, so I doubt he knows how to make a disc image. I don't know how to either honestly, but I know how to burn ISO's onto a DVD. I've just never actually made one myself... Can you suggest a program to use for that?