[masklinn]

FWIW JP-7 was not the only hydraulic fluid, it was only used as hydraulic fluid in a few places where that was convenient, or possibly where they'd have needed a different hydraulic fluid due to the temperature.