You have to factor in the revenue from the current site. You generally sell for 10-12 months revenue.
The domain itself, id say $300 resale value due to the number.
something around $3000 end user
try the free sedo price appraisal
I would say mid $xx for the domain name alone, but it could be worth a lot more if the site has any current traffic or revenue.