Monday afternoon status
Thanks to everybody for the instructions, hints, tips, and suggestions. I am reading them all.
Got the gearbox apart and tore down the shift shaft, all the way down to pieces. The shift keys looked just fine, barely any wear marks, no sign of cracks or other damage...