What is the thread size on the dolphin striker? I will be changing my step casting soon as well, and I know that the top of the threaded dolphin striker has mushroomed out inside the casting a bit. I want to clean the threads with a die or nut before putting the new casting on.

Thanks!