Does anyone know if there are available any specifications about the file format of the map files Destinator 6 uses? Is it Destinator Technologies' own format or is it some other company's format?