Miami - Dade County Law Library, Miami — a place to gather · Hottub