From the pics I saw forever ago, it was a small metal line that lead from a pressure source(i assume off the valve body or maybe an internal pressure port(if those exist)) and led into the diff. housing to a nozzle that sprayed on the diff. simple but very very effective

Edit:
Hey OP, you live in my town!!