I Dug through the bin of Allen bolts to find something that might fit and had some length. Found a 4mm bolt with the right length to get it done. Though there was now the problem that the bolt might rattle loose. And after checking various bins to find zilch off to the hardware store.
After finding the correct nut it was back to work. After threading the bolt through so it would act as a replacement. And a quick test with a bike shoe with a cleat just to ensure it was all done correctly. It was done right.
After a sip of beer pulled out the Blue Thread Locker as wouldn’t want to lose the bolt somewhere on the trails. And then have the pedal not usable. That would suck for the ride out and wreck a rare visit to the Hydrocut.
Once the thread locker was dripped on I finished the install by threading on the bolt. And waited for it all to dry so it wouldn’t come off.