Vilka syntetiserade instrument använde Martin Donnell för att skapa de två första halosoundtracken?

Det finns inga uppgifter om att Martin Donnell har använt några syntetiserade instrument för att skapa ljudspår för spelserien halo eller någon av dess omgångar.