Unable to access Galaxy tool shed

I installed a local galaxy and tried to install tools from galaxy tool shed. However, http://toolshed.g2.bx.psu.edu/ seems inaccessable. Are there mirror tool shed sites that I can add in my galaxy so I can install tools? Thanks for the help.