It's good news that you can read the files with VLC because it means there are no proprietary codecs, so they should be convertible. There are many software options that can do this, such as Avidemux, XMedia Recode, or even Format Factory and MediaCoder. Now it's up to you to try them and find the one that suits you best...
Finally, VLC is not just a simple player; it also allows you to convert video files. So, since the procedure is a bit complicated, it will be used as a last resort.
Could you specify the origin of these ".vid" files? This type of extension is not common ... that's why we have questions ... However, I found this article on this type of file: "Currently, the .vid extension most often defines video files produced by various CCTV and DVR surveillance systems. Generally, these .vid files are not playable in most popular media players and require proprietary codecs or players." Source: File Type Advisor What is concerning is that it may involve proprietary codecs, therefore not convertible in principle ...
Analyze the file with MediaInfo so that you can tell us what the video and audio codec (streams) are.
Finally, are you able to read this file on your computer with VLC or another player like MPC-HC to name just one?
Best regards -- Long live Bobo! ~ Little fish will become big ~
There are many software options that can do this, such as Avidemux, XMedia Recode, or even Format Factory and MediaCoder.
Now it's up to you to try them and find the one that suits you best...
Finally, VLC is not just a simple player; it also allows you to convert video files. So, since the procedure is a bit complicated, it will be used as a last resort.
To conclude, if you don't want to download software, be aware that there are also online conversion sites, but I don't know if they will accept ".VID" files. See: https://www.google.com/search?client=firefox-b-d&q=conversion+video+en+ligne