Does anyone know if a library is available to write AVI video files with Python on Win32? I shudder at the thought of having to wrap Video for Windows myself, since I'm largely ignorant of C++! Any pointers on creating video with Python would be useful.