Putz pior que eu ia recomendar justamente o FFMPEG.
Não há como converter eles pra outro formato, diminuir o bitrate e depois converter de volta o resultado para .dav?
Eu desconheço essa extensão, recomendaria o Adobe Premire pra tentar fazer isso mas acho que ele também não suporta.