How to install mencoder binaries for video editor?

[rsbrux]

TV-Server Version: 1.0 RC3
MediaPortal Version: 1.0 RC3
MediaPortal Skin: Blue 3 Wide
Windows Version: XP SP3 MCE RU2
CPU Type: Intel Pentium 4 @3 GHz
HDD: Samsung HD501LJ 500GB
Memory: 3 GB DDR 400 DIMM
Motherboard: FIC P4M-915GD1-LF
Video Card: Club HD3450 256MB DDR2
Video Card Driver: ATI Radeon 3450 8.493.0.0
Sound Card: Realtek High Def. Audio
Sound Card AC3: no AC3
Sound Card Driver: 5.10.0.5319
1. TV Card: Hauppauge HVR-1300 MCE
1. TV Card Type: hybrid (only analog section in use)
1. TV Card Driver: 2.119.25023.0
2. TV Card:
2. TV Card Type:
2. TV Card Driver:
3. TV Card:
3. TV Card Type:
3. TV Card Driver:
4. TV Card:
4. TV Card Type:
4. TV Card Driver:
MPEG2 Video Codec: ATI
MPEG2 Audio Codec: Dscaler
h.264 Video Codec: ATI
Satelite/CableTV Provider: Telezug (WWZ) Switzerland
HTPC Case: FSC Scaleo E (FIC Spectra)
Cooling: OEM
Power Supply: OEM
Remote: PDAwin.com TVRC 5.5
TV: InFocus TD40
TV - HTPC Connection: DVI

The video editor plugin's configuration asks for the path to mencoder binaries.
I found and downloaded what appear to be the correct archives, libdvdnav-4.1.3.tar.bz2 & libdvdread-4.1.3.tar.bz2, but can't unpack them.
I found the apparently correct bzip2 archive software here but repeated download attempts of the installer give me EXE files of differing lengths which produce the error "The setup files are corrupted..." when I try to execute them.
If I try to download just the binaries I just wait forever. Any tips on where to get the mencoder software, or the needed software to unpack it?