A poked around and found a post which refers to this player:
http://www.randelshofer.ch/multishow/download.htmlIt looks pretty good for at least viewing the files, though it doesn't show promise for conversion.
In the same post someone mentioned that Personal Paint can convert ANIM5 to animated GIF. Just some thoughts.
