i posted a thread earlier and someone told me the intake gasket was bad and if thats true my gp has the dexcool system in it and when i go to replace the gasket if thats the problem do i need to put dexcool in it or should i put the regular green kind in it because i believe my dad mixed them and that caused the problem if thats possible ?