What is this wrench from?

Late 1980s and newer, Nerofer can probably nail it down for you.

 

Even I know those aren’t hammers......

 

The first photo is identical to one side of the open end wrenches in the vinyl pouch of my 1984 308. The second photo is not very clear so I am not absolutely sure that it is a 308 wrench.

My car was in a show in 1996. A judge pointed out to me that that arm from the engine to the rear bulkhead was loose. So, after the judging was over, I took this pouch out and found the proper wrench and tightened the bolt on that arm. Somehow I liked that wrench, and I wandered around the show tossing the wrench from one hand to the other. I encountered Greg Whitten who had just bought an F50. He was looking over his new car and found it's tool kit in a beautiful leather covered box. Inside the box was -- I think -- a velvet lining holding amongst other tools a set of wrenches that were identical to that which I had been tossing from one had to the other.