 And West Central Dre was approved for $242,000, $256,000 with additional options on that. What's the general condition of the roof, the high school roof in these particular sections that you're looking at for repairs? At this point, they...