I want to record in basically any format other than AVI. Avi is an incredibly large file size and just is bad overall for what I do.
MP4 is just an example however I'm down with pretty much any other file type. I'd prefer MP4 but if I can't use that it's still fine.
I do not want to switch away from DXTory. I like it, except for the limited format support.