Synths

Hi guys,
I registered ages ago but have just got round to making my first post. Collectively you all know some pretty amazing stuff.

I know that there's also a "best synths" thread running at the moment, but I thought I'd ask on a new thread - does anyone know specifically what synth(s) Danilo Vigorito uses, and what synth was used on Red 2?
I'm looking to get a hardware synth, & have a PC based setup with Logic & FL Studio. Fancy hardware for something to get my hands on!
Thanks your help!!