Buenas tardes. Necesito el manual de servicio de un termometro RTD marca TES 1317. ¿Alguien lo tendrá a mano? Muchas gracias!!