I think one notch per use is sufficiant. As we have to move the lever at startup from cutoff to auto rich, we have to move over the auto lean notch. If we have to hold it for x amount of time it could be too late for the engine to start.
You guys are awesome by the way, asking a user what would be nice to use!