Reduce video resolution

Would prefer a freeware program, but I’ll get a share if necessary.

???Sorry if this ain’t the answer you’re looking for…My crystal ball ain’t working too well…That’s not a lot of info to go on, but I’ll take a shot and suggest AVI DeMux…Handles a lot of file formats and codecs…and I know it can resize…