Ok, I found a plugin (Download helper 2.3.1), but the file downloaded as a .flv.
.flv is ok to keep. Just grab a .flv player
http://www.download.com/FLV-Player/3000-2139_4-10467081.html
I believe it will allow you to convert it to an .avi etc.