Question: How many students attend the school in Allen County , Ohio associated with Lima Stadium ?
Answer: 1,500