We are aware that there are issues affecting this server. We are working to get them resolved.
Update Fri Jun 30 09:39:45 MDT 2017 - This server has become non responsive and is being rebooted to restore service.
Update Fri Jun 30 09:48:33 MDT 2017 - This server is not up and available for use.