En la jerga de los baños: libre = desocupado, vacío