woohoo!!
Sorted the ****** thing, finally.
I got the replacement bolt, but instead of it being a standard bolt head like the original, it was a 14mm allen head, and its taken the last week to find someone who actually stocks a tool of that size.
Got the tool today, put the bolt in, tightened...