Just had a water pump put in my 93 sentra with 95 k on original pump....unfortunately I believe the previous owner( my Father in law) used Prestone high silicat yellow...could this have done in the pump?...in any case I asked my stealchanic what coolant he puts in when he does the pump...his...