To: jcthomson
Hello James,
You are right, these are not AVS files, but the files with AVS Media Player association (it means by double clicking on those files AVS Media Player will be used as a default Player to playback them).
You can find the recommndations on how to change the associations of files on the
other post of yours.
Regards