There is no AVI available for this. So you need to advise which one you want, as this will take time, the larger the file, the longer to for us (me) to upload, the longer for you to download and the more space you will need available (I await your response).
So, 7 GB TS 1080i, or 3 GB MKV 720p or 1 GB MKV 720p? [The 720MB unknown may be a an AVI, I am checking into it.]
UPDATE: I found an AVI. I should be able to upload it today. Check back later.