Does anyone know how much antifreeze to drain before replacing the temperature sensor/sender on back to thermostat housing on 2012?