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