They waited out the market, and it paid off.
/3 Rnndom Road, listed for $3.795 million but gone in minutes, so the final price is sure to be higher. The owners tried for that same $3.795 in 2022 but the market was still coming back from the Great Lockdown then and they had no luck. So they rented it out instead, at $17, 000 per, and brought it back a few days ago. Well done.