So I have the car back. The work order states "Replaced onboard charger, refilled & bled cooling system...". There was also service items for both the G-48 coolant and "super long life cool". I wonder if this amounts to a complete coolant replacement that satisfies the 50K maintenance requirement or just a top off. Anyone know how much coolant has to come out for a charger replacement?
For reference for others the Tesla error code for the charger failure was "CHGH_f078". The technician noted that the 5 amp fuse was OK, which is what someone upthread suggested checking first.
Thanks for all the advice on this. Almost 3 week event.