text: I've marked it out as an events venue in https://www.openstreetmap.org/changeset/78366320 but not sure about the opening_hours if we should add this or not, since is the hall actually open to the public during those times?