The pool is scheduled to open after the facility opens. We expect that the pool will be open and operational by mid-November, and that we’ll be offering lane swimming at that time.