They are closing it at 4:30.
Pitifully, all these brave Reps will walk out at that point.
But this was fun while it lasted.
Question: What time would the Capitol normally be closed?