Defenitely extract the AVI out of the BIN files. You will have to re-encode them to a lower bitrate (15% lower). Load into VirtualDUB, set Video compression to DivX and set bitrate 15% lower than what GSPOT report the actual bitrate to be. Then save AVI. Note that the quality will fall, probably more than 15% also but you need to do one to see the final result.
Another alternative is to use 90min or 99min CDR's if your burner supports them. This is where a DVD burner comes in handy.