Update: the user script http://userscripts.org/scripts/show/56677 lets you download the MP4 files to your device fine but the default media player doesn't have the codecs to play the files.