I just had my carbs overhauled and now my W123's engine runs a lot better. I noticed however that when the temp reaches around 85.0C the idling becomes a bit rough and the oil pressure guage goes down to "2". The mechanic said that my auto choke is faulty. He said the Choke housing should feel warm when the engine starts to warm-up but in my case it does not so he's certain that it's shot. The two hoses that go to and from the thermostat does get warm but not the housing. I've checked the DC supply and it seemed OK. Does this DC supply actually heats the choke or is it a control for the choke? Is there a chance to repair or should I replace the whole choke assembly?