I found something thats better. I use microb with greasemonkey and the get video plugin. When you start playing the video there is a yellow bar on the top. Click it and the web page after it and then it downloads the file. Real easy but make you put the right extention at the end or mplayer won't play it.