Made by Microdigital Eletrônica for the Brazilian market, it was a Timex 1500 clone.

TK85 from Ricardo Setti. Photo by Jorge Abreu.
TK85 from Ricardo Setti. Photo by Jorge Abreu.