Government workers working hard?! Must be a nice problem to have.