If it was a .com You might have gotten $xx,xxx But I think mid $xxx to high $xxx and possibly $X,XXX,
If sold to an end user probably mid $X,XXX. I did the valuation just to check and at esitibot it says the domain is worth $3700 and Valuate.com give and appraisal value of $1300