 I don't think it'll take that long, but we'll hopefully have a new chief sitting in the seat. Hopefully, I'm hoping by the end of July, but if we go into August, there's no problem. Captain Damon's a very skilled law enforcement officer himself, and he's been with the department for 36 years.