Well, did you download the said VLC player and what results did you get?
If the results were the same, I'd suspect a faulty media file...
Whether a check with only one program is enough, hmm, I rather doubt because there will always be differences in what one program can detect and what not.
I've actually all of them installed and use them on a regular basis, yet every so often I get caught with somethin' new......
