I can't seem to find one. But I think it is indeed just a spare pin, especially because the neck board also connects them together.
What I meant was, that most repair guys aren't really interested in delivering a perfect monitor. They just want their paycheck and be done with it. I have experience with the repair service in question (the only company in The Netherlands that is authorized by Eizo), and I know what shabby calibration they can do. On the other hand, I can't do any at all (the correct way), so for that matter...
BTW, I found something on impregnated cathodes, which is what Sony Trinitron tubes use:
are
I guess this depositing is what's been happenning. Can someone tell me if the cap-discharge method, or professional rejuvenation, is perhaps particularly dangerous? (just trying to rule out damaging this monitor...)