How big would it be as an uncompressed AVI? Would that be too much to deal with?
Alternatively, I can just throw it on a thumb drive and take it home with me over Thanksgiving and transcode it on my brother's computer. That might be the easiest thing all around.