Que tal converter o vídeo para outro formato (ou isso potencialmente mudaria demais os pixels)? Se isso fosse uma opção para você, você poderia usar o ffmpeg cli: link É muito rápido e fácil converter vários arquivos de vídeo, preservando a qualidade original.