sounds like a win-win situation. don't know if I could have sold for 10k, but on the other hand it's 2022 and how long do you wait for the top end buyer? if you have a good inventory of quality domains doesn't hurt to sell a little here and there at times, I should probably do that more myself...