In this setup we used the "Old Industrial Hall" HDRI from:
http://www.hdrlabs.com/sibl/archive.html
In order to get the same reults you'll need to download it over at hdrlabs. They've got a really great collection of a wide variety of HDRIs.
The password for this .zip file is: growbig