It certainly didn’t warrant a multi year investigation and massive pseudo military raid costing untold millions of dollars.
Neither did Waco. They could have grabbed that guy almost any day when he went shopping, or went to town.