It shouldn't require absolutely anything to download the 7z file, never had in the past.
Anyway, lemme know of an alternative in case you need another file.
Glad it helped you fix the issue!
Btw, so far the only video that was replaced with a better quality option is the Konami logo, or were...