I have a rite temp energy star thermo and it works for heat but not for the air conditioning. The guy that installed the thermo could not get it to operate. It worked fine last summer. Any suggestions. He said it needs to be reprogrammed, but he doesn't have the manual and sugested I look online.