The only door opener I have ever seen in a public, state, or federal building.
Sometimes the button is silver - never red, push button - never pull lever.
Did something illegal - no balls to man up and say, "yeah, i did that sh*t".
He should be expelled.