Opening to the public sometime before the holiday season.