I'm pretty sure it has a roof, just no one besides people who work there can access it y'know? I get that there's not a good thing to put it as, and I do like both leisure=bleachers and access=no too. Maybe after those are done, we could possibly still keep this open if anyone else could possibly figure out a better term for it.