is now available in the "HDX4 Movie Creator" (free ofr 60 days), which encodes with mpeg-4 asp to .mp4, .avi and .3gp there is also now the "HDX4 Player" (seems to be dshow based) and also plays the mentioned formats they claim to be the fastest codec: dunno how this affacts quality...