So then Restore24 is our guy. IMDB and Japanese laserdiscs releases (on LDDB.com) all say 94 minutes is the original runtime.
That means there is no speed up here, just them whanking around badly with the frames.
I'll have a test clip of Restore24 at work (which I've now added dgdecode's postprocessing for deblocking and deringing).
1 frame per second encoding with that filter... yikes.