Thanks heaps TUF,
I wasn't looking forward to doing it by trial and error
The new armature 02-4668 arrived today (I ordered it on Wednesday from Pinball Spare Parts - so quite quick) and it's 97.65-mm long, so I only have to cut 11-mm off.
Cheers
Andy