Not that long ago, guns were not uncommon in schools with school rifle teams. Students used to carry their rifles on the school bus.(only .22 caliber, but still...) As for the teachers in Texas being armed, if they are properly screened and trained, it could be a life-saver.