PS - this is also in the wrong section, there is one just for auctions
Even then, valuate.com values it at 290 dollars.
Much, much less that 1250.
True, automated valuations vary wildly but currently range between $290 (http://www.valuate.com/) and $1540 (http://www.urlappraisal.net/) - I will update the OP with this information.
anyway, whatever the true value of this domain, do you realize that this auction allows you to get it at a tiny fraction of these prices - heck, probably even less than the regular registrar's annual fee ($15)?
But it seems there's not much interest in this domain here. I guess I will just try to sell it in a more traditional way if I see no action in this thread in the next 2-3 days.