Great stuff, thanks for sharing.
If you just want to convert the format, you can get Windows Media Encoder which will convert and shrink.
If you want to edit as well, Windows Movie Maker is good, and will then convert when you save the file.
Both can be downloaded free and I can work them which means they must be easy!!!
Hope it goes well and we get to see the output

cheers
mr two
p.s. k+