ich könnt mir vorstellen, dass sie noch eine eigene kleine Toolchain bzw. "kleine Helferlein" besitzen, die aber wahrscheinlich auf die schnelle geschrieben wurden und deswegen nicht an den Kunden weitergegeben werden. Aber die Haupttools sollten eigentlich identisch sein.