9mm thin walled deep socket?

Theres a video on the pedal innovations site were he admits he cocked up and those pedals shouldn’t have been released to the public like that, maybe he’ll recall them, send a tool out or send out the new pedal body that allows a normal socket that’s 13mm OD.