He might have an older version of WMP. WMPv7 can't play files using a WMPv9 codec.

The file you linked has the audio in a WMPv9 codec (Windows Media Audio 9 32 kbps, 32 kHz, stereo (A/V) 1-pass CB) but the video as WMPv7.