The Camtasia smartplayer only works in a browser.
Secondly. Are you sure it is a .avi video?
The most widely used video format in the Camtasia player is .mp4.
Lastly. Are you sure it is a Camtasia production?
Probably the best and fastest way to get just the video is to ask your colleague if they could just put the video in a zip file and send it to you or upload the zip to somewhere like Dropbox or Mega etc. for you to download.
I’d contact the original maker, but he’s gone to see the Maker years ago and is no longer with us. Ergo, contacting him isn’t an option.
Any other ideas?
Camtasia uses it's own format and this player supports it. The fact that you don't have to install the player makes it kind of nice.
It's old school enough that I don't anything about it. Apparently, the original maker created a file that open the video in the player for you. Opening that file somehow would be the key.
If you had a screen recorder, you could record the video playing. Odds are you'll drop some frames. But it's an option.