Umm, I dunno what codec or plugin is used on those. I should know these things, but I'm terribly out of date when it comes to digital media these days. I just dropped them on one of the players I have on my machine, and it worked. I don't recall which player I used though.

Oh, I have no connection with the guys who made the videos either.