[Эндрюс]

Подозреваю, что при крещении этого Санчеса звали как-то по-другому. Считается, что Пиноккио -- не имя, а кличка, произошедшая от названия итальянской сосны -- пиния. Надо думать, на протезы пошел именно этот материал. Думаю, что прозвище так прилипло к увечному Санчесу, что, когда он умер, никто не смог вспомнить его настоящего имени.

Вполне возможно.