You mean SAVE to his computer (HD), right?
Then he can download one of the converters mentioned above Free (even though they show a Shareware price, that is discretionary) and capably convert the AVI/WMV file to Flash for optimal multi-formatted use.