He will also have to take off the belts. Also the screws that hold the cover on can get rusty and get difficult to get off - not to mention the tight space to get into them. Though if he is good should only take a couple of hours. I would suggest replacing the phillips head screws with allen headed srews to make future work easier.