This script helps to download drm protected dash stream [if key is known] and output to a video mp4 file - View it on GitHub