Denny Library, Denny — a place to gather · Hottub