In article , Paul
wrote:

Does anyone have a private copy they'd be willing to share?

I downloaded it, but it is 3 GB. If the link does not
start working, do you have somewhere to upload it?

720p, the largest size available, is 149.3 megabytes.

There's a fat one in there :-)

Check with youtube-dl .

https://i.postimg.cc/vHvXBRLJ/youtube-dl.gif

There is an 8K video entry in there, and it looks
like that could be what Mr.T snared.

the largest native size is 720p. anything larger has been upscaled,
which can be done locally *after* downloading if desired (although
there is no point in doing so).