My choke knob was recently broken by an over enthusiastic vehicle electrician, god bless him! I have managed to get myself a new hook type one, I didn't realise they were that rare. I have decided to tackle it today however could I get the origional out, no chance! According to the manual there...