Hi all. HD videos tend to desync the audio from the video on my laptop, and sometimes the video just gets all garbled and stopped. Happens less often if I set the priority of the video player to High though, so I figure it's just my laptop's hardware choking under the pressure. What else can I do to minimize this dreadful problem? I'm using VLC 2.0.2 right now. Is there a faster media player that supports .mkv?