Well, we have defined model of your device here. So just look at the list and choose manual for Lux Products Programmable Thermostats TX9000RF (discontinued).
On the next page you will be able to read or download PDF file.