I tried that. No dice.
I even tried the F12 developer tool, hoping I could switch to IE10, but there was no such option to do so.
I thought Win 8.1 would have carried IE10 from Windows 8. I thought wrong.
P.S. I apologize about the "media player" thread. I did not know it was not permitted in this forum.
I suggested the same thing in 2 other forums and there was no issue.