Yes, a metal clamp/zip tie that held part of the coolant tubing in place broke, causing the tubing to either bend far enough that it kinked or rubbed against the axle enough that it started leaking. I had taken the car on a very short errand, so the coolant did not end up on the road, but rather on my garage floor. He said the coolant is both for the batteries nd the motor, so who knows what it might have presented as had I been driving a longer distance. All things considered, I think I caught it quite early after the leak started. They also took care of a couple very minor issues while it was in, a very slightly misaligned charging door, a couple pieces of trim that seemed a little loose and a very tiny spot on the paint that looked like either tar, glue or whatever. I just wanted it off before I surrender the car once again for PPF/Ceramic/Tint.
And they guy from Turo accepted my modification, so no worries there.