The retirement thing came down very quickly with Jerry. It came a week ago Saturday, and by the following Monday Labor Day he was announcing his retirement. We had about an hour together before that happened.