so the knob for my choke had totally corroded last year and basically broke off in my hand. Anyone have any experience with how to repair it?