Quali strumenti sintetizzati ha utilizzato Martin Donnell per creare le prime due colonne sonore di Halo?

Non c'è traccia che Martin Donnell abbia utilizzato strumenti sintetizzati per creare le colonne sonore della serie di giochi Halo o di qualsiasi sua puntata.