Converting Bin File Format movies to avi or mpeg

[Tanglefoot]

Any information / assistance on the converting of bin file movies to avi format will be appreciated. I have a few movies in this format and would like to change the format . Thanks