Students gather in the Dutch Cabin, c.1940s. The restaurant remains, although these days it's serving BBQ.  See