Keep the descriptive name but ensure the file extension .mpg remains at the end.
Since the file is in .mpg (MPEG) format, it is a standard video container that should play on most modern devices. If your default player fails, try these reliable alternatives: Kasey-October-11-10-yo-Gymnastics-DVD-HQ.mpg - Tested
