Has he tried opening the file in Windows Media Player by choosing File > Open,and browsing to the file.

Also has he tried double clicking the file,this should bring up an "open with" window.