I'm hoping it doesn't escalate from here, but we have to look out for Martin County taxpayers. I think we've exhausted everything we can do through normal channels. I think it's going to be a pretty big thing and I don't think it'll be a quick, easy solution.