Here is a .pdf of the wrench. Print it exact size and cut it out. If you need the .dwg or .dxf for a CNC machine, PM me and I'll get it to you. Originals were 3/16" mild steel.
www.steelsoldiers.com
You may need to play with the scale if you print it out.
..................
FWIW, regarding actual dimensions mentioned in that linked post: neither 4" or 4.25" is correct (!)
4.375" will barely fit, so better make it 1/16th larger.
And the net width of the 4 "legs" should be 2.0", not less.
Too loose fit is not an issue here; too tight is.....
Pictured below is what I have...
Not "original" and very loose fit, but it does the job.