I have come across this domain in different locations with price tags ranging from $500 to $1000.
It might be available even cheaper if you're interested.

However, I personally have no use for it.