just had my intake manifold gasket replaced, the system was flushed and gold coolant was used instead of dex-cool, is this going to be a problem?