The codec thing is specific to WMP. The theme works with WMP on your system, so all you should need to do is get the right codecs to get all the videos to play using WMP. VLC does not need codecs, of course, but the issue there will be difficult to solve, since it seems to be specific to both your machine and those themes. A much easier solution would just be to get the right codecs for WMP.