Thanks! I actually already attempted to decipher the data rate (in Windows by right clicking the file) ....
Problem with that is these are all cropped green screen clips, so the frame sizes are all different. I suppose there could be a clever way to calculate that out, but that's getting into more work than just re-rendering everything.
Did our experts' responses help you determine a solution? Please let us know. Would be great to hear how you solved it, if you did.