It is done.
In all, 2 minutes of opening and closing titles, plus an additional 47 seconds within the film proper, had to be taken from the tape source. The rest is in HD. Audio is a straight rip from the tape; there is negligible quality difference between the tape and BD in terms of audio, plus it meant no audio editing. 😃