Изучив другие посты, посвященные проблемам DRM, я обнаружил платную утилиту Aimersoft DRM Media Converter (35 долларов США), которая может считывать лицензионные файлы и конвертировать их в различные форматы, удаляя DRM в процессе:
http://www.aimersoft.com/drm-media-converter.html
Это, кажется, решение для меня, я пытаюсь это сейчас на моей старой системе XP.