Actually for most MP4 files the built in Media Player is much better then mplayer. At least for the video podcasts I'm using with Video Center and most of which contain MP4 videos (presumably iPod/iPhone optimized) playback on the default Media Player is quite smooth, while in mplayer I'm often getting only something like 0.5 fps.