 Something actually struck me the other day, which is when I moved into my house, one of the very first things that we did is we repaved the driveway. I know what it cost to do that in 2017 when we moved in. We got a quote the other day to get that thing repaved, and it was almost double the cost in 2024 to do the same exact job that we did before.