I should have said “allegedly.” I stand corrected.
Whether they had the auto sears or didn’t, your original point is correct - killing 80 people over the non-payment of a $200 tax might be considered extreme by some civilized people. Not Janet Reno, Bill Clinton, or Eric Holder, but by some civilized people.