At the moment, I am unable to play the aforementioned videos.
I know for certain mplayer2 supports the 10-bit encode, but whenever I try to play, only a second of audio plays with no video. Instead of video, I get an "Unsupported PixelFormat 72" error. I updated my FFmpeg libraries to 0.8 after that, however nothing has changed and I still get the error. I am currently running Fedora 15. I'd appreciate the help.