Here's a nice old pedal wrench. It has a bit of wear on the 15mm side, but looks fine overall.