Another piece of screencasting software is ZDSoft's Screen Recorder.
A free version is available. There are fewer options than in Camtasia, and you need to close down other pieces of software that deal with audio to use it (trying to record the screen when using iTunes made my PC crash), but it allows you to record a number of videos directly into WMV format, even quicker than with Camtasia. We could then put them directly on to the streaming server.
If staff wanted to create screencasts, but didn't have copies of Camtasia, this looks like a good free alternative.