Update: The house sold in one day. The buyer seems very nice, as far as we can tell. A professor, a musician. He loved the house enough to outbid other buyers. I hope he is as happy here as we have always been.