Bah! Mplayer plays it all.
If you have the win32 codecs installed in the correct place, and are using mplayer's dvd tools, then you should have no problem. I have thrown all kinds of files at it, no problems.
As for a direct answer to your question, nope, other than the mplayer win32 codecs, I don't.
Cool