ABC reported that the ATC allotment for DCA is 28 controllers. They have 25 fully-trained full-time on staff, and 3 in training, so lack of staffing doesn't appear to be an issue (though other reporting posted earlier says that the union wanted 30 slots).