hmm ... strange. All videos are encoded the same way. I can open them with Windows Media Player, VLC, Media Player Classic ...
I updated all 3 Links. Maybe you have better luck now.
You may want to download
VLC (Media Player) and try those videos again.