Turnhallen als leisure=sports_centre?

Im Thread zu StreetComplete wurde auf diese Turnhalle einer Schule verwiesen.

Ich frage mich: Ist eine Schulsporthalle überhaupt ein fall für leisure=*?

Auch, wenn dort mitunter Vereinssport betrieben wird, ist das immer noch ein himmelschreiender Unterschied zu einer öffentlichen Anlage, die dem Freizeitsprot und der Erholung dient, wie leisure=sports_centre eigentlich definiert ist.

Leisure ist ja zu allererst ein Schlüssel für Freizeitanlagen und da fällt eine Schule meiner Meinung nach überhaupt nicht rein.

Grüße