I have stripped the paint from the ‘good’ gearbox casing, and found this:

It’s metal, it’s hard. I wonder what it is?