FWIW the military and the USPS used DOT 5 for many years as their brake fluid and maybe still do (I worked for a brake parts manufacturer until 2005 so haven’t kept track of things like that in the 17 years since I got laid off).