 And we've reached out to other counties to help us with those type of needs so that we're not stressing our local first responders. But I think since over the last 10 days, you know, the situation in Rio Doso has gotten a lot better. And we've had a lot of feedback from our county sheriff, Mike Wood, from the mayor of Rio Doso, mayor of Capitan,