Runnels County Courthouse repairs