Yeah those Dallas cops were real jackbooted thugs for killing someone who murdered 5 cops and wounded 7, and was still trying to kill more.
If you get “treed”, are shooting at cops and refuse to surrender, you are going to be killed. It hardly matters if it’s by gunshot or robobomb.
How long was it from the time he fired his last shot and when the police decided to kill him?