 What's the estimate in terms of the cost for this work? So currently, it would be $81 on a $100,000 home. I think the median household value, I looked this up probably a few weeks ago, is just north of $260,000 in Janesville. So market is certainly driving that, but that's the median. Half are below, half are above.