Hey Martin

Thanks.

Sure, we use camtasia studio. In my opinion its probably the best for this type of thing, the compression is really good, low file sizes with maximum res with no loss in quality.

hope it helps you out, I believe theres a 30 day demo you can try....

Jay