All these different video formats and codecs are a big pain the the rear. What I did originally was go to the web interface to export the video, which is in .dav format. I then found that Armcrest Smart Player will play it. It might play the other formats, too, but it has bugs with selecting files and I'm not wasting any more time on it. I tried the different smartPss formats with the following results:
.asf - Windows 7 media player gives an error.
.avi - Media player acts like it's playing it but there's no video.
.mp4 - same as .avi.
.dav - (aka "original format") smartPss offers to export a version of the Armcrest player along with the video clip.