Better to have it done when the coolant leak is being addressed; might end up working in the same area, too.
I've had them last a LONG time, but 100K is plenty of luck IMO.