This page will test out another HTML5 Video Player.
JW Player
Here’s what the JW Player looks like in action.
Interesting that the Add Media button is used just like when adding a photo, but then all the options are in the right hand panel of the Media Palette.