Yeah, I haven't had good luck with avi compression, but if you come up with a solution (or anyone has a solution) that gives good HD results at reasonable file sizes, I'd be happy to hear of it.