I have a few hundred cable rails to attach on a deck and they require a 4mm open end wrench. Unfortunately the only ones I can find are cheaply cast "toy" wrenches which are sloppy and will not hold up for the job. Does anyone have suggestions on where I can get a couple of well made wrenches this size? If I could find one about 3" long that would be even better.