I am doing my masters degree on video engineering and also I am familier with many types of editing - converting tools.
I can either use this tools or use more complex engineering skills if needed. But first, I have to know what is the file type that you have.
If you don't have any file and you just need to record the screen, I have powerfull server pc's in my office which won't collapse.
I can do it tomorrow easily.
Regards
Onur