You’re right.
I was hosted by the FBI at Quantico in 2007 to demonstrate a sniper detection system. While I was in their armory, I spotted sniper rifle case with a label, marked “Waco”.
I remember wondering if they were actually proud of their actions against those people.
They have another one marked Ruby Ridge.
G0vt assassins.