Render out the camrec files as Animation codec MOVs at 100% quality. But *be sure* you keep the files at their original pixel size. If you recorded the screen, chances are it’s at 1024×768 or higher. However, I think Camtasia defaults to scaling that down to 640×480.
I never use the presets. I do it all manually so I can be sure it’s doing what I want.
— TL