Same issue for me: https://www.f150lightningforum.com/forum/threads/battery-coolant-leaked-while-with-service-department-for-repair.25066/
But it has turned into a huge fiasco.
I had an odd charging issue, which I have seen others post about: no matter where I set the charge limit, the truck would say it had charged to 100%. But upon starting the truck, the actual percentage would drop to 89%, then 87%, and so on. When I dropped off the truck with the dealer service...
Yep! Instructions on TSBs for software updates always call for connecting a power supply to maintain proper 12V voltage. The Tech must have thought he knew better.
This has happened to others and actually bricked their Lightnings and Mach Es.