I believe there is a thermostat that is available to use to shut your gas engine off so that you can shut your vacuum pump off when the temp drops - can anyone share with me what brand or model they...