What are the model numbers of the Johnson and Ranco thermostats?

I need to invest in a thermostat for my baby ball python rack. Right now I use a Herpstat ND, an ESU Reptile, and a Big Apple pet supply thermostat. The Big Apple one makes me nervous and I want to replace that too.