 I'm in Texas. Okay. I don't know what the small claims jurisdiction is in Texas. But if it's just a couple of three, $5,000, that's probably under the small claims jurisdiction. It's below the small claims limit. So you file in small claims court if they don't talk to you. And then you have possibly you turn it over to your insurance company because I'm assuming you have comprehensive. And you say, you guys take care of it. You'll get paid. You're okay on that one. Okay? Okay.