PS If stripped plugs are not leaking, dont do anything! Leave alone and check once in a while. I never found it necessary to do more than drain radiator and mix (as you did) ntil clear water. Abe G