I agree with everything concerning the choke system you are spot on but 4,000 is indeed a little high. 2,500 is more like it. sjc56 is it truly 4,000 from the tach or is this just a seat of the pants measurement? Your normal throttle setting might be high. That would also cause the choke setting to be higher than usual.