Another possibility is that they have the hide extensions for known file types enabled which is a default with Windows, one of the first thing I change on a new install.

If it really doesn’t have an extension, the video player will look at the file header and see that it is a media file and determine what kind and play it whether it has an extension or not.