Thanks for your help! Of course right after trying that, I find a program that converts the urls directly to flvs -- it's called Replay A/V (torrent here), works with protected videos and is very user-friendly, so if you want a simpler way I'd recommend that.