Need to shrink a .mp4 file by 25%

[mikebw]

bazookaman wrote:
If you video is large enough (like HD size) you can change the output dimensions in Handbrake. That makes a HUGE difference in size.

To make a video file size 25% smaller I would just look at the current bitrate and then re-encode at 75% of that original value. Resolution is independent of bitrate.