It seems most videos are available on Google Video if you (like me) had forgotten that RealPlayer even existed: <a href="http://www.google.com/search?q=Arsdigita&tbo=p&tbm=vid&source=vgc" rel="nofollow">http://www.google.com/search?q=Arsdigita&tbo=p&tbm=v...</a><p>(Allegedly VLC can play RealPlayer, but it wasn't working for me.)