And I tend to wonder if they are correct in terms of price drops, at least in some markets. We seem to be gradually falling off the peak of the market in Miami/Ft. Lauderdale. Between people being pessamistic about the economy, RTO to jobs in the northeast, and foreign nationals leaving the country, demand is decreasing and so prices are dropping. They seem to be slowly heading for historical averages after peaks in 2022, and houses that don't drop their price from 2022-24 peaks are not selling. It feels very much like 2008 right now, and I'm really hoping we see some improvement in the next few years.