At DCA, is it faster to take the shuttle bus between terminals C and B/C, or (if you have TSA Pre-Check and no bags) faster to just exit one terminal, walk to the other and go through security again? Particularly if you're a very fast walker?

The shuttle bus seems excruciatingly slow.

Thanks.