For the Record. That nasty wrench we found... as Al suggested, cleaned up with a wire brush and some light oil. Still rusty but quite useable. It used to be painted blue.