The dye step was the next diagnostic step. We didn’t have enough time to do that before they got back. He has street parking at his apartment, so he can’t usually see if there are leaks. His parking spot changes daily, but when it was in our driveway, there were no leaks.
He hasn’t had a problem since we got it back, so I really do suspect that the mechanic at the old dealership where he took it was at fault. They just won’t fess up.

Mexican Chopped Salad with Lime Vinaigrette
Easy to prepare, crisp, fresh and festive, great main dish. Doubles easily. Serves 4.
Ing Lime Vinaigrette 1/4 cup fresh lime juice 1/4 cup olive oil 2 tablespoons honey 2 tablespoons chopped fresh cilantro 1 clove garlic, minced 1 teaspoon chopped jalapeno (seeds removed)
Ing Salad 2 1/2 c chp romaine 3/4 c ea chp cherry tomatoes, chopped jicama, corn kernels, thin sliced radishes, black olives, 1/2 avocado in cubes 1 red bell pepper, chp 1/4 cup crumbled feta.
The dye test can locate a leak, but, even without it if there was a leak there should be residual trans fluid on the bottom of the car, somewhere. Granted that if there are other leaks, such as oil leaks, it might be a bit hard for an untrained eye to recognize what’s what.
Actually, I’m trying to process how a transmission would even work without fluid, much less survive for any miles at all...
Anyway, thank goodness the car is still working ok!