According to the “official” story, Houston and Martinez both took him down. They were both up there for sure and stopped him. Amazing that you heard it.
Since folks seem interested in the Whitman shooting, a few more facts for me that day. That day I was on the 5th floor of the LaContessa Dormitory pouring concrete with a large group of guys when the shooting started. I turned the transit level (scope on 3 legs eye level high) I was using around from time to time during the shooting and saw rounds pinging off the side of the tower. Interestingly, I would see the limestone dust kick up from the round impacting and then a half second later hear the shot. I could see Whitman’s shadow through the scope as he ran by the 3 famous port holes on each side of the building. The part about civilians firing was 100% true. Those days it was common as dirt for guys to have rifles in their cars and just thousands of rounds were fired in the two hours this went on. The cops had a hard time calling a cease fire. Martinez years later became a Texas Ranger. Everyone gave this incident credit for that accomplishment.