Just had both pumps serviced today on the TSB . Both units showed no signs of leakage so replacement of the can cases and new o-rings was all that was required. Repair time about 4-5 hours . (They will probably get quicker at it since this was their first). Gratitude to the dealer: first time the coolant has been over the minimum level (about half way between min and max). Was always at min from manufacture.