The page has moved to
http://www.lib.berkeley.edu/ENVI/hours.php