This really hit me in the feels. Thank you. I wish more gov workers were like this.
I think you missed the point of this story, then, that all the propaganda about all government workers being lazy, useless idiots is just that: propaganda.
There are thesis about "too many" (given the results of their work) of them, or about how more efficient the private sector would be at some of their missions.