I copied it using a borrowed external optical drive.
I’m not sure how to tell if I have all the data but the size of the directory contents is around 3.5 gigabytes which seems appropriate for length of video (1h45m).
Will try your suggestion in mpv 👍
I was just borrowing it when I made the rip and was also using a borrowed drive to read it, so I’d rather try and fix the files I currently have. I tried ripping it more than once when I had it, so I just settled for what I got - only getting around to fixing it now!