If wiser heads had not prevailed a century ago, there would be no imposing Gainesville Red Elephants press box and grandstands at City Park, no first-class field house, no Bobby Gruhn Field. Not even a City Park.