Type K thermocouple will go to well above 1000C and there is a nice interface from Maxim. The MAX6675 is an 8-pin SOIC with cold-junction compensation, 12 bit resolution and an SPI interface. You can even request free samples from the Maxim website. Go for it.