This seems like an incredibly good deal:
https://www.pianomart.com/buy-a-piano/view?id=57001
(Summarizing: 7'10", built in 2017, sold new in 2019, one-owner. Current asking price is 1/2 what my dealer would have sold a new one for at the end of 2023 (which would already have been over 30% off SMP).
If I had the space, I'd be planning a trip out to Ohio this week.