Manual choke on a W123?