Idaho Falls Civic Auditorium

The Idaho Falls Civic Auditorium appears to be city owned but is directly connected to Idaho Falls High School. Anyone have any idea if carry there would be wise? I am also trying to determine the demarcation between the school and city there.

I did some research and this is what I found out.

Image from Bonneville County that shows parcel RPA00008203474 which I would presume is the land for the Civic Auditorium
Tax information for this parcel
PIN Parcel House # Parcel Street Name Parcel City Parcel Zip Neighborhood Owner Owner Address Owner City Owner State Owner Zip
RPA00008203474 574 4TH ST IDAHO FALLS 83401 7101009 CITY OF I F 574 4TH ST IDAHO FALLS ID 83401

Parcel number for what appears to be the High School RPA00008203601
Tax information for this parcel

PIN Parcel House # Parcel Street Name Parcel City Parcel Zip Neighborhood Owner Owner Address Owner City Owner State Owner Zip
RPA00008203601 601 S HOLMES AVE IDAHO FALLS 83401 7101009 INDEPENDENT SCHOOL DIST # 91 UNKNOWN IDAHO FALLS ID 83402

This next parcel is the parking lot North of the Civic Auditorium, also owned by the City.
PIN Parcel House # Parcel Street Name Parcel City Parcel Zip Neighborhood Owner Owner Address Owner City Owner State Owner Zip
RPA00008203474 574 4TH ST IDAHO FALLS 83401 7101009 CITY OF I F 574 4TH ST IDAHO FALLS ID 83401

So it appears if you stay in the North Parking lot and in the Civic Auditorium OC/CC is legal. One thing to note is that it is directly connected to the High School and has side doors that will enter directly into the High School.

Any thoughts on this interesting setup?

My understanding here in WA, as the same situation exists in Arlington, WA. School sponsored function, no firearms. Non-school sponsored function, firearms ok. (of course because of the proximity of the school, a CPL is necessary).