Hey Waqas, thanks but don't trouble yourself now. I was contacted off the forum by a kind and knowlegable soul who provided the information: M10 x 1.5 - 17mm hex.
From an intuitive standpoint, I have also assumed that the lock nut was unecessary, for the reasons you cited. Part of this assumption was no doubt also related to my prior difficulty tightening the alternator belt in the face of the rotary compressor. But now that I'm using a longer belt and thus have relatively easy access, belt tightening was no problem. So I've decided to ditch my assumption that the lock nut is MB redundancy. I've been wrong about that sort of thing in the past.
Also, in addition to loosening bolt "3", I loosen bolt "7" prior to adjusting my belt.