3 ms·

When I was a child, we called these "auto sears"... At least I think they are the same/similar thing...