Thanks for the update, that’s good to know. I’m glad you didn’t have to buy a new pushrod.
I used the rightstuff brand brake pushrod and it didn’t come with a bolt, so I reused the stock bolt after a little sanding/polishing on the ID of the pushrod.
It’s the little things that can save future users a lot of aggravation IMO