See, this is the problem...25,000 infantry is the sort of force you use to assault and capture an entire city, not secure a single building from the potential threat of a few hundred far-right extremists.
Don't get me wrong, I absolutely want the safety of everyone on Capitol Hill safeguarded, but this response was absolutely excessive, unwarranted in its severity, and has caused far more psychological damage than good.
1,000 Guardsmen would be sufficient for what is needed, if that. Remember, out of the thousands and thousands of people who bothered to show up at Trump's rally, only a few hundred actually assaulted the Capitol. There will never be another attack of the size that warrants any serious military reinforcement of the Capitol Police, let alone one that requires an infantry division.