 In November of last year, I gave them the check that the insurance company had given me. Oh, you paid them up front? Yeah. Oh, God. And was this just the roof, by the way? Well, there was supposed to be some gutter work done with it, like downspouts. Yeah. And so with that being said, that was that. The bill came up to like $13,000.