VST plugin

So we (ShroudFilm) are working on an a little film and we're currently busy on the soundtrack, and the guys whos composing it needs some sort of VST plugin for his midi controller (he's using garritan personal orchestra or something). He's looking for some really industrial percussion sounds, like machine sounds that you could work into a beat, sort of like something that would be in the terminator soundtrack. anybody know of any decent plugins or websites where that sort of thing can be gotten hold of? preferably free but we don't mind paying a little bit.

buy tetsuo and sample the fuck out of it

or...

http://freesound.iua.upf.edu/searchText.php search for "industrial"