WMV3 unter x64 erstellen

[xraver]

Hallo,
der neue mp3-Player mag leider nur wmv3 Videos.
Hab es schon mit ffmpeg und mencoder versucht, jedoch unterstützen die beiden Programme den Codec nicht.

Beim Player stand zwar etwas von von divx, xvix und co, aber in Klammern konnte man dann "with transcoding" erkennen.
Nun weiss ich was damit gemeint ist - konvertieren in wmv3. Schöner Kundenfang ;(.

Kennt jemand einen weg solche Dateien auch unter Linux (x64) zu erstellen?
Sollte es nur unter x86 gehen, dann würde mich auch dieser Weg interessieren. (muss ich halt das Notebook verwenden)