“That said, the real solution to the problem is shrinking the size of the FedGov.”
That would be the best solution for the entire country, not just the road problem.
I’ve said from very early in the Trump Presidency that one measure of success would be if DC residential real estate values flatten out. And if they fall? HUGE success!