Gearbox - a stroke of luck

You may or may not have noiced, but Amelia's non-original gearbox end cover has a broken clutch cable abutment bracket:

You can just about see it here if you know what you are looking for. This is a picture of the gearbox as it came out of Grace's van.

I had planned to get Matchless Engineering to weld this up and then cut a new slot & hole, which I probably should have done, but then this came up on eBay:

An hour with some white spirit and a small brush cleaned it up nicely:

I will try and repair the old one and then sell it, when I have a minute!