That's what it sounds like to me. What I want to know is how did they break it? The machine shop should find you a replacement at no charge, since they broke it. Gonna have to comb the salvage yards and swap meets to find a new one. Can you post a pic so we can see how it's broken? Maybe it can be repaired.