I've got the tools which are just aluminum punches. One with a nylon insert and the other just a square aluminum punch with a little groove in it that someone could do with a file.
I was in OKC today and could have brought them if this were earlier.
Both are probably made from 6061 or 6063 aluminum which is pretty hard for that material. My tools are 1/4" square stock. Check around the metal yards in OKC and see if they can help you. The stuff at the big box stores is likely 5052 that is really soft.