text: The campus has been updated with the names for various buildings and amenities on campus based on the map provided on the school's web site. This is actually just called the gymnasium according to the map, and the smaller gym to the west is called the auxiliary gymnasium. The update has been performed with this changeset. https://www.openstreetmap.org/changeset/137901569