I'm looking for a deep offset box end wrench with 7mm on one end and 9mm on the other end. Any ideas? Looked at Hazet & Stahlwille but couldn't find one (at KC Tool).