Does it matter? I don't believe the county would touch a piece of property the city was interested in. Doesn't matter if it's Schoninger or Sawmill. The city has options on both (I thought).
Thats why Schoninger said in the news article they were still negotiating.
More information about formatting options