Texas TI 58 + Impressora PC-100C

Ganhei estes equipamentos que são dos anos 70 e estão funcionando após pequenos reparos.
Minha dúvida é com relação ao papel térmico para impressão, alguem conhece algum tipo/marca que imprima nesta impressora?
Obrigado,
Renato
Minha dúvida é com relação ao papel térmico para impressão, alguem conhece algum tipo/marca que imprima nesta impressora?
Obrigado,
Renato