We'll never know exactly how many. I suppose there's a way for outsiders to estimate it, but that won't happen for weeks or months. Disney certainly won't tell the truth over this.