WMV3 formaat naar quicktime of .mov of avi formaat

Ik kom regelmatig Windows media player filmpjes tegen die ik graag wil bekijken. Deze zijn niet te bekijken met VLC omdat ze met de wmv3 codec gemaakt zijn. Is er een manier om zo'n filmpje om te zetten naar iets gangbaars ? desnoods op een windows machine ?

ben benieuwd
gr rik

wachten op de volgende VLC update...

niemand enig idee hoe het zou kunnen zonder te wachten op de update van VLC?