No Fall 2020 lap swimming until further notice.