@ maxpiano69
Non ne sono sicuro ma quando ne leggevo in giro (sulla rete) mi pare si facesse riferimento al DX7 (che visto l'anno dell'album era appena uscito) ed in effetti quei brass mi ricordano proprio alcuni preset del DX7 (puoi usare Dexed, VST che carica i sysex del DX7, per riprodurli)
Confermo, hanno tutta l'aria di essere i brass del DX-7.