Preserve Shingle Creek Elementary, or tear it down?