I think it's called a "Spanner wrench" Hurst. (I could be wrong) I always just made a new one when I needed something like that. Or used a screwdriver wedged between two of the bolts. But you're a smart guy and can figure that out.