[Vegas215.com]

Have you ever tried to convert a Microsoft *.wmv file using Pocket DivX Encoder? It does not let you try.

Here's an easy trick to get it done anyway:

rename myWMV.wmv *.mp4

Then use Pocket DivX Encoder to process the new fake MP4 file
but in addition to setting the CODEC to VHQ also click the IVTC checkbox.

In fact, I think I'll always leave the IVTC box checked since it does not increase the filesize and may sync a little better.