what is the capacity of the home football arena of the university attended by randy walker ?
15,971