Any domain that isn't trash is worth at least low $x,xxx to an end user. Unless purely for brand protection which is sometimes the case for dot info and other new tld's then you might struggle beyond mid $xxx. I wouldn't hesitate quoting between 3 and 7k.