Replacement Wrenches for WaterWorks Game

My family has a beloved game called Waterworks, which came with a set of small metal wrenches. Unfortunately they were all lost over the years and we had to make do with pennies. No longer, thanks to the magic of 3-D printing! I shrank down the beautifully detailed wrench (https://www.thingiverse.com/thing:1914145), then sliced off the bottom in TinkerCAD to make it flat. They turned out very well printed in bronze-colored PLA, and were a big hit at Christmas. Sure, I could have gotten a se