I mixed two head gasket sealers(k-seal and blue devil) and they failed, I want to flush it but should I try sealing it again first, with just blue devil alone, then flush it? P.s. I ended up flushing with distilled water and vacuuming it, till the k-seal is gone(kinda like a copper powder), then did the blue devil process