I’m sorry I can’t give you personal experience from selling a home, but as an outside observer, it seems like you did the right thing and made your decision based on all the factors involved. Sure, it would have been nice to hold out and make $20K more, but that would have been very risky. The price of homes in that area have appreciated 2.5x in the past 5 years or so. Be thankful you did not succumb to emotion (or buyer’s stubborness) and sold while the selling’s not as bad.

PS: Would it be rude to ask for the address of the home you just sold? I’d like to check it out on Zillow.