And there would be no need to identify those who had access to guns on campus, just like airline security people are never identified when onboard.
You're right on every point... of course it would be nice if part of the NRA 'teacher training' class included that point - that who was carrying should NOT be public knowledge.