Thomas Wolfe Auditorium is back open at full capacity. Can its HVAC handle a hot summer?