I'm not sure what was used here, but I've used Voices.com before to source voice overs and have been really happy with it. Worth a look if you need something like that.