Then-defense secretary Robert M. Gates stopped bagging his leaves when he moved into a small Washington military enclave in 2007. His next-door neighbor was Mike Mullen, the chairman of the Joint Chiefs of Staff at the time, who had a chef, a personal valet and — not lost on Gates — troops to tend his property.

Gates may have been the civilian leader of the world’s largest military, but his position did not come with household staff. So, he often joked, he disposed of his leaves by blowing them onto the chairman’s lawn.