Original thermostat opens at 87 degrees, replacement at 92. Is this a potential problem?