I used rtmpsrv to get this for you:
Code:
rtmpdump -r "rtmp://128.83.227.182/vod/2008/wallace" -a "vod/2008/wallace" -f "LNX 11,6,602,167" -W "http://www.hrc.utexas.edu/images/flash/flvplayer.swf" -p "http://www.hrc.utexas.edu/multimedia/video/2008/wallace/hammerstein_oscar.html" -y "hammerstein_oscar" -o hammerstein_oscar.flv