There are traces of coolant coming from a head gasket leak according to the dealer who inspected the car. I've not yet had to add any coolant, the radiator is full and the level in the overflow tank has not dropped appreciably. I know there is some risk of clogging with the various sealants. So the question is what would you do...or would you do nothing at all until/unless the leak starts to require adding coolant.
TIA