VLC isn't the right tool. Use handbrake. I'm surprised that VLC can't do this. It's capable of so many things, I thought it would be perfect for this, too. I've just given handbrake a try and it won't do the job, either. At least, not easily. I've an AVI input file that I want to resize/scale and I...