Yup. This is For Certain.

[Wyrd of Gawd]

Given the fact that George Washington dealt with insurrections with federal force chances are he would do the same with this group of malcontents.  And don't forget Lincoln.  As soon as they fire a shot the war is on.  Hoover used McArthur against WWI vets in Washington D.C.  And Eisenhower sent troops against rednecks.

All of these presidents did this in a different age.  The point is what would they do now.  This isn't in Washington DC, it's not Eisenhower vs the state of Arkansas national guard, they're a relatively small group of people in a small hut in the middle of nowhere.
Also this isn't the 1700s when George Washington was around, or the 1800s when Lincoln was around, Presidents have to be more media savvy these days, more careful how they act diplomatically, as rhythm says they have publicity now, I'm over here in England typing to you about it and were all on this forum typing all over the world about it.
I agree with the point you make about as soon as they fire a shot the war is on.

I would give them 180 seconds to throw down their guns and get on the ground face down with their arms extended.  If they didn't comply I would have 2 AC130 gun ships fly over the area and saturate it with their full ammo loads.
https://www.youtube.com/watch?v=YVXBHNvpTcg

As it says in Ezra 6:11 (CEB) = "I also decree that if anyone disobeys this edict, a beam is to be pulled out of the house of the guilty party, and the guilty party will then be impaled upon it. The house will be turned into a trash heap."

Those guys knew how to kick butt.