normal dex-cool orange/red.....would a flush help??