How does a guy being fired pull out a rifle? They ain’t that easy to conceal.
He might have had it in his locker and got to it when he was getting his personal items.