DVC repurchased zero contracts in May 2023. The ROFR monster is still hibernating. We're seeing a buyer's market for Bay Lake Tower, Hilton Head, Copper Creek, and Beach Club resorts. Prices are starting to show a slight uptick elsewhere. Inventory showed a slight increase, we're seeing 4-5 weeks of inventory on the market.