Pentosin replacement?

[Mike Arman]

What was the Mobil number for replacing Pentosin v.7? I seem to recall
DT13M or similar - local hydraulic supply place sells it for $40 for a 5
gallon pail - at that price I ought to be able to afford a turkey baster to
transfer from the pail to the one quart carry-along container in the car . . .

I also notice that when I am driving around town, the pentosin level stays
up for weeks at a time. Two hours on the highway, and Hal starts
complaining about wanting a sip of Green Gold. Any ideas? There are no
obvious "dripping leaks", but there is some "moisture" around the system in
several places.

Car is an 86 5KS.

Best Regards,

Mike Arman