yes hot shoe, here around cincinnati we call it a hot wrench or blue wrench. out in nebraska where i grew up it was a red wrench... just a little silly humor