I always thought these were John Deere wrenches but now Im second guessing myself. Ive seen them in IHC displays as well. There are 2 different versions, one hex and one not, both the same length with no markings. Does anybody know how you tell them apart? Are the IHC ones stamped? John Deere number is: F3537R. Thanks for any input.