What is he using currently? Has he simply tried Windows Media Encoder? I've used that for all WMV-HD encoding in the past and it works really well.

He could also try Super.
_________________________
Matt