I've now successfully installed
Total Screen Recorder and used it on the 113 minute video that I was having so much difficulty with before. The quality as a 320x240 .wmv is almost as good as that of the downloaded file after stripping DRM, and the total file size of 373Mb is very manageable. So thanks to everyone for your help.al