The Grove on a Friday afternoon in November.