Thank you, sidshady12, I appreciate your advice.
You’re right, VLC is just a program; looks like the file format is mkv.
I’ve tried importing the .mkv file into Audacity, but that wouldn’t work.
Also, I’ve converted it to a .avi file, and the audio was lost in that.
Converting it to an MOV file right now to see how that works out.