Quote: What is the diameter? If it is a common size, maybe a guy could get a drop scrap of O1 or other good tool steel from a machine shop. A drop that length might be free. Or they might cut to length for a nominal fee. Just a thought...
The one I took out was a couple of thou under 7/16"
