As part of the 40k service, I also had the battery coolant done at the Walnut Creek a few weeks ago. They had done the inverter coolant as part of the motor replacement at around 39K. The whole motor replacement process was smooth, from agreeing to replace it, ordering, and the motor swap...