It’s leaking out the bottom of the radiator, which was filled with a mix of coolant and tranny fluid.
It was shifting correctly when it had fluid.
Thanks for asking. 
He told me now that he cut a deal where the radiator is being replaced, and if the transmission doesn’t work after that, he doesn’t have to pay for the repair… good deal!