My computer is a PC, not a laptop. Regardless, I was only offered two "Open Withs" : VLC and Windows Media Players.
I had gotten so used to using VLC, I didn't think to try the Windows Player. It seems to work very well.
Many thanks for the tip. I believe I'll make Windows Media Player my default choice for Video and Audio.