I made the encode myself. Unfortunately, it's my first encode and I suck at it, so there's a minor audio issue that you may or may not notice. My encode is better than the divx encode and smaller than the other x264 encode that's out. Of course, I wasted the time to actually learn how to and encode it, so I am biased to it. Anyone who notices the problem and wants to try to fix it can probably accomplish it with mkvtoolnix. You're on your own otherwise. Enjoy.