What is the condition of the rest of the engine? It is doubtful you can find a decent 9 1/2 for anywhere close to the $50-$70 bucks it would cost to replace the dog if thats all thats wrong. You will want to buy a manual for your engine if you don't already have one. It will easily pay for itself over time.