I have a couple of different DD cranks, one DA racing the the other a touring triple. Also a couple of sets of DD pedals, one still NOS in the box, and today I found this. I was pretty sure I had one and it turned up while I was looking in the toolbox for something else. It has "For DD pedal" stamped in it. I found a few sets of the adaptors over the years that I passed on to other folks.
DD wrench.jpg