But not to worry: 5mm shorter sounds a lot, but it is not that bad, because even the new bolt used nearly all the thread available (further out there was no more thread). Plus, I used the red loctite). Nevertheless, I went over the top, and I drilled a little hole into the new bolt and added another little screw from the other side. And used loctite again.