Makes sense, come to think of it, we were challenged/instructed to switch to an oil that was less flammable after that incident. Pretty sure we switched everything over, and as soon as any machine needed service, they probably just went back to regular straight hydraulic fluid... But we weren't headed for a warzone and/or 30,000 feet either.
On the tongue in cheek topic of oil changes, my favorite vehicle to change by far is my motorhome. It has the 8.1, fairly known for oil consumption, I'm usually burning less than a quart per 1000, and it's a 10qt sump. So basically I run it until it shows low on the dipstick (which is 3 qts low), then slide under (no jack required), put a new massive filter and dump 2 jugs of conventional 5w30 in and I'm good for another 3500-4000 miles. My last trip all across the southwest, fully loaded, and going through quite a few mountains, I actually only used about 1 1/2 qts in 3500 miles, so that was cool...