Another Amcrest method besides SmartPlay DAV export conversion:
In PC Amcrest Surveilance Pro, I can look at a list of events on the SD card and probably other sources, select the ones I want to export in AVI, MP4, etc., and batch download and convert them all at once.