Marty's Synths?

Anyone know what the names of the synths are that Martin O’Donnell used in the original soundtracks?

> Nico: One of your “secret weapons” is the Roland JD-990, specifically your use of the mellotron (an old 60s sampler) string sound. In that respect, this relatively cheap, near vintage module outperforms modern synths worth ten times as much. What are some of your other secret weapons?
>
> Marty: My main tools are the Emu E4XT Ultra, and Proteus 2000, Roland JD-990, and XV-5080, and the Kurzweil K2500X. I’ve got a ton of plug-ins for Pro-Tools and Digital Performer. I haven’t switched over to an entirely software based studio but I probably will at some point. Sometimes the old ways are the best ways, and sometimes the old guys are just lazy.