I know which hall you're talking about, Dagney - my old one! That had the benches for years and years, long before I was born! (They switched to chair seating when they rebuilt the hall a couple years back. Benches were way comfier - you could kind of sprawl out.)