RE: Too bad they had no pocket guns.
This is why I made the decision that I made when I was 21. I already had a Glock 23, but it wasn't easily enough concealed. I bought a Kel-Tec P32 that I ALWAYS carried, class included. Nobody ever knew I had it, and they never would unless I had to use it. Sure I would have been in a world of trouble had I ever actually had to use it. But that would have been beter than the alternate, which would be watching helplessly while my friends and possibly myself were killed.
And no, I did not start carrying as soon as I got my CCW. I actually got my CCW when I was 19, but only kept a gun in my truck in case I had trouble on the interstate, so that I would not be stranded and defenseless. I knew at that time that I was not mature enough to have a gun on me at all times.