[audio] not playing on IE10

I’m using WP 3.6.1 and I have a shortcode on a post like this:

[audio mp3="https://mydomain.com/wp-content/uploads/sites/15/2013/09/hello.mp3"][/audio]

On Chrome and Firefox, the media player embeds correctly and the audio plays no problem. On my machine, Windows 7, on IE 7 – 10, the audio also plays correctly.

However, on a user’s machine – also Windows 7 and IE10 – the audio does not play correctly. Instead, the media player loads up but the total time for the track displays at 00:00. I’m not able to get direct access to the user’s machine to do any troubleshooting myself but it seems there are no JS errors.

I’ve been all over the internet looking for why this doesn’t work, but I can’t find an answer. If it didn’t work on both IE10s, I could understand it better than it working on one machine but not another.

I’ve been able to replicate the problem on BrowserStack (though I’m dubious as to how useful that is in this instance). In any case, my findings are:

XP, IE7 Works
XP, IE8 Works
W7, IE8 Works
W7, IE9 Works
W7, IE10 Fails
W8, IE10 Gives me option to download file which it then attempts to play via QuickTime

I’m sure that mediaelements.js hasn’t been included in the core without a lot of testing but I’m not sure what I need to do here to ensure that I can use the [audio] shortcode with confidence across all browsers.

Would be grateful for anyone’s thoughts.