I'm looking to repair my input shaft before I put the gearbox back in. It's an ABH box.
The end that goes in the spigot bearing looks and feels a bit rough/uneven

A local turning shop will turn it to the correct size for me after I have run a bit of weld on it, so does anyone know the EXACT dimension this should be?
Cheers!