Hi, Cartman,
It was in the car before, and I've checked another gearbox. I cannot find a hole for such a wire. It runs in the same cable tidy/group as the positive lead for the battery. Also, that might explain why the starter motor does not turn over!!!!!!!!!!!!!!!! I'd be grateful if you could do a visual check, if you have not already done so. Thanks.
Peter