There's a handy little program called WHATIS that tells you what kind of file a file is based on the extension. You should be able to get this off one of the ftp sites. That might help you name the sequencer, and lead you to a solution. Hope this helps.