pero el semctool no es un servicio de pago?