Very cool! Thanks. That didn't pop up last night--I must have been doing the wrong search. Anyway, Jando--there's your answer.
Thanks, ianqui. Just knowing that the DoD is "the largest single consumer of fuel in the United States" somehow makes me sleep easier at night. As for my waking hours....