・２５分程度の動画を出力する際、どのくらいの空きが必要ですか？
こればっかりは動画の内容にも因ってきますので、正直「大体これくらい」という数値は出しにくいです・・・。
書き出しの前に、（保存先などを指定する画面で）ファイルサイズ（予測値）が確認できるので、ここを参考にするのが良いかと思います。
何がベターか、ということであれば社内環境によるのではないでしょうか。
たとえば、「動画そのものをメンバー（Windows環境）に渡して見られれば良い」「ただし各PCに別途プレイヤーを入れることはできない」という条件であれば
やはりデフォルト環境でほとんどの場合視聴可能であろう、WindowsMediaが最適だと思います。
軽くしたいのであれば、保存先などを指定する画面で「詳細設定」というボタンがありますから
ここをクリックし、「ビットレート設定」のビットレートエンコーディングを「VBR-1Pass」、
平均ビットレートを初期値の半分くらいに設定されてから書き出されるとどうでしょう。