On 2/5/2026, Bob Shafto wrote: "I misplaced my generator pulley wrench a couple years ago, and it still hasn't turned up, so I made a new one. Here is a drawing if you are interested".
